mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage
synced 2024-11-15 11:45:23 +00:00
847a09be11
Moved the scripts and the CSS into the modules folder directly (like almost all other extensions do), added a .jshintrc to not have jenkins shout at this change and minor stuff. After this change Cite will no longer work with anything older than PHP 5.3! Change-Id: I1c87af794f2a9894fb0d82a5bd97bd2182f028e1 |
||
---|---|---|
modules | ||
.gitignore | ||
.gitreview | ||
.jshintignore | ||
.jshintrc | ||
Cite.i18n.php | ||
Cite.php | ||
Cite_body.php | ||
citeCatTreeParserTests.txt | ||
citeParserTests.txt | ||
SpecialCite.alias.php | ||
SpecialCite.i18n.php | ||
SpecialCite.php | ||
SpecialCite_body.php |