wikimedia/mediawiki-extensions-Interwiki
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki synced 2024-11-24 06:24:16 +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: I512120e9cf7245dbe2225c6bc5cc20549745ef04
This commit is contained in:
umherirrender 2015-05-15 22:21:23 +02:00
parent dd9db2c416
commit 53cd67a722
2 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Interwiki_body.php
View file

@ -482,6 +482,10 @@ class SpecialInterwiki extends SpecialPage {
$args = func_get_args();
$this->getOutput()->wrapWikiMsg( "<p class='error'>$1</p>", $args );
}
protected function getGroupName() {
return 'wiki';
}
}
/**

3
extension.json
View file

@ -45,9 +45,6 @@
"localBasePath": "",
"remoteExtPath": "Interwiki"
},
"SpecialPageGroups": {
"Interwiki": "wiki"
},
"SpecialPages": {
"Interwiki": "SpecialInterwiki"
},