mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite
synced 2024-09-24 10:48:58 +00:00
b4ca6031ce
The old name was a copy-paste error. Change-Id: If2771350c0e5e91579488cc9b49e462418b305f1 |
||
---|---|---|
i18n | ||
modules | ||
.gitignore | ||
.gitreview | ||
.jshintignore | ||
.jshintrc | ||
AUTHORS.txt | ||
Cite.php | ||
Cite_body.php | ||
CiteCSSFileModule.php | ||
citeParserTests.txt | ||
COPYING.txt | ||
extension.json | ||
Gruntfile.js | ||
package.json | ||
SpecialCite.php |