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

Set manifest_version in extension.json

Browse source 
Bug: T100745
Change-Id: I4cd084c705e9369c117752cf1f03870a8a8ba948
This commit is contained in:
Kunal Mehta 2015-06-11 21:22:30 -07:00
parent 196c23f51c
commit 37960b1e78
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

@ -41,5 +41,6 @@
"SpecialCiteThisPage": "SpecialCiteThisPage.php",
"CiteThisPageOutput": "SpecialCiteThisPage.php",
"CiteThisPageHooks": "CiteThisPage.hooks.php"
}
},
"manifest_version": 1
}