wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-23 23:44:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

Echo: Add missing dependency on mediawiki.user

Browse source 
When loading with ?debug=true, I experienced issues with
mw.user.isTemp not being defined. Seems the dependency on
mediawiki.user module was not declared when calls to this function
were added over a year ago.

Change-Id: Ic496ae384ff7f3d312a164b973c0ef74eab04da9
This commit is contained in:
Derk-Jan Hartman 2024-06-02 22:14:19 +02:00
parent fe4a13cad6
commit 8e1d5c978b
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -156,6 +156,7 @@
"ext.echo.ui",
"ext.echo.styles.badge",
"mediawiki.util",
"mediawiki.user",
"mediawiki.api"
]
},
@ -422,6 +423,7 @@
"dependencies": [
"ext.echo.ui",
"mediawiki.Uri",
"mediawiki.user",
"ext.echo.styles.special"
],
"messages": [