mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite
synced 2024-11-24 06:54:00 +00:00
0dc25f2c5b
Additional changes: * Removed phan-taint-check-plugin from extra, now inherited from mediawiki-phan-config. Change-Id: I280ee7f72faecad666cb088be9950f9a5250c9c9 |
||
---|---|---|
.. | ||
Hooks | ||
ResourceLoader | ||
AnchorFormatter.php | ||
Cite.php | ||
ErrorReporter.php | ||
FootnoteMarkFormatter.php | ||
ReferenceMessageLocalizer.php | ||
ReferencesFormatter.php | ||
ReferenceStack.php |