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

Add missing dependency to module 'mediawiki.api.options'

Browse source 
Change-Id: I4bdbfacebb7f5b0082fbec542b4c7356e703e837
This commit is contained in:
Fomafix 2016-09-09 18:34:13 +02:00 committed by Catrope
parent 59c0ad6c4d
commit 0ec43738aa
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Resources.php
View file

@ -50,6 +50,7 @@ $wgResourceModules += array(
'ext.echo.ui',
'ext.echo.styles.badge',
'mediawiki.util',
'mediawiki.api.options',
),
'messages' => array(
'echo-popup-footer-special-page-invitation',