wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-30 18:14:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add wgQueryPages hook for Special:GadgetUsage page

Browse source 
Change-Id: Ifacd705886f923e3ee58d4cd004d50c8ec4002d8
This commit is contained in:
niharika29 2015-10-27 13:29:26 +00:00
parent e009534e5c
commit e03ff36127
2 changed files with 13 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
GadgetHooks.php
View file

@ -223,4 +223,14 @@ class GadgetHooks {
$files = array_merge( $files, glob( "$testDir/*Test.php" ) ); $files = array_merge( $files, glob( "$testDir/*Test.php" ) );
return true; return true;
} }
/**
* Add the GadgetUsage special page to the list of QueryPages.
* @param array &$queryPages
* @return bool
*/
public static function onwgQueryPages( &$queryPages ) {
$queryPages[] = array( 'SpecialGadgetUsage', 'GadgetUsage' );
return true;
}
} }

3
extension.json
View file

@ -83,6 +83,9 @@
], ],
"UnitTestsList": [ "UnitTestsList": [
"GadgetHooks::onUnitTestsList" "GadgetHooks::onUnitTestsList"
],
"wgQueryPages": [
"GadgetHooks::onwgQueryPages"
] ]
}, },
"manifest_version": 1 "manifest_version": 1