wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-12-18 02:00:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Replace deprecated $wgSpecialPageGroups

Browse source 
$wgSpecialPageGroups is deprecated since 1.21
override SpecialPage::getGroupName instead

Change-Id: I34c23170b839ac876bcdf5b384d4a14a9c5f7f02
(cherry picked from commit 9198c04a02)
This commit is contained in:
umherirrender 2015-05-15 22:00:37 +02:00 committed by Legoktm
parent 2220263fb0
commit e3b3585517
2 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
SpecialCiteThisPage.php
View file

@ -60,6 +60,10 @@ class SpecialCiteThisPage extends SpecialPage {
Xml::closeElement( 'form' ) Xml::closeElement( 'form' )
); );
} }
protected function getGroupName() {
return 'pagetools';
}
} }
class CiteThisPageOutput { class CiteThisPageOutput {

3
extension.json
View file

@ -33,9 +33,6 @@
"localBasePath": "modules", "localBasePath": "modules",
"remoteExtPath": "CiteThisPage/modules" "remoteExtPath": "CiteThisPage/modules"
}, },
"SpecialPageGroups": {
"CiteThisPage": "pagetools"
},
"SpecialPages": { "SpecialPages": {
"CiteThisPage": "SpecialCiteThisPage" "CiteThisPage": "SpecialCiteThisPage"
}, },