wikimedia/mediawiki-extensions-Interwiki
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki synced 2024-11-15 02:24:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

Set manifest_version in extension.json

Browse source 
Bug: T100745
Change-Id: I20cfa3e12c9e9d6664810e72000dfa8bb2c35403
This commit is contained in:
Kunal Mehta 2015-05-28 20:44:53 -07:00
parent 44bc4d095d
commit fc53141d31
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -55,5 +55,6 @@
"InterwikiHooks": "Interwiki_hooks.php", "InterwikiHooks": "Interwiki_hooks.php",
"SpecialInterwiki": "Interwiki_body.php", "SpecialInterwiki": "Interwiki_body.php",
"InterwikiLogFormatter": "Interwiki_body.php" "InterwikiLogFormatter": "Interwiki_body.php"
} },
"manifest_version": 1
} }