mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite
synced 2024-11-23 22:45:20 +00:00
2d6868cfe3
Suggested by phan, available since php7.4 Change-Id: If31fdd7174cf71d346e4080a70fa302bb3378745 |
||
---|---|---|
.. | ||
Hooks | ||
ResourceLoader | ||
AnchorFormatter.php | ||
Cite.php | ||
ErrorReporter.php | ||
FootnoteMarkFormatter.php | ||
ReferenceMessageLocalizer.php | ||
ReferencesFormatter.php | ||
ReferenceStack.php |