wikimedia/mediawiki-extensions-Interwiki
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki synced 2024-11-15 18:40:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
964 commits 284 branches 5 tags 12 MiB
Commit graph

2 commits

Author SHA1 Message Date
umherirrender 53cd67a722 Replace deprecated $wgSpecialPageGroups 
$wgSpecialPageGroups is deprecated since 1.21
override SpecialPage::getGroupName instead

Change-Id: I512120e9cf7245dbe2225c6bc5cc20549745ef04
 2015-05-15 22:21:23 +02:00
Kunal Mehta 2b4421deef Add extension.json, empty PHP entry point 
Bug: T88052
Change-Id: Ic1ca5abe416cb6228ef9033a394b8eec4fa1d97b
 2015-05-02 19:29:17 -07:00