mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite
synced 2024-11-23 22:45:20 +00:00
367de442c1
Simplifies what's actually happening here. Change-Id: I7b561355506c1f4aa757cf551aa859a32fe23567 |
||
---|---|---|
.. | ||
Hooks | ||
ResourceLoader | ||
Cite.php | ||
CiteErrorReporter.php | ||
CiteKeyFormatter.php | ||
FootnoteBodyFormatter.php | ||
FootnoteMarkFormatter.php | ||
ReferenceStack.php |