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
973 commits 284 branches 5 tags 12 MiB
Commit graph

3 commits

Author SHA1 Message Date
Kunal Mehta fc53141d31 Set manifest_version in extension.json 
Bug: T100745
Change-Id: I20cfa3e12c9e9d6664810e72000dfa8bb2c35403
 2015-05-28 20:44:53 -07:00
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