mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite
synced 2024-11-24 06:54:00 +00:00
fa7be37d15
It's possible that the output type is set to HTML when extensionSubstitution is called, but that when we eventually get unstripped, it isn't anymore. If this happens, detect it and bail out. Bug: T99787 Change-Id: I32abaefeebc5357a2ab3fd23bcd47aa9b2a1663a |
||
---|---|---|
i18n | ||
modules | ||
.gitignore | ||
.gitreview | ||
.jshintignore | ||
.jshintrc | ||
AUTHORS.txt | ||
Cite.php | ||
Cite_body.php | ||
citeParserTests.txt | ||
COPYING.txt | ||
extension.json | ||
Gruntfile.js | ||
package.json | ||
SpecialCite.php |