jenkins-bot 6255ab85d9 Merge "Drop unused variable"		2019-12-05 10:10:20 +00:00
..
Hooks	Remove obsolete ParserBeforeTidy hook handler	2019-12-04 16:56:43 +01:00
ResourceLoader	Move all code to PSR-4 compatible namespaces	2019-11-20 17:00:13 +01:00
Cite.php	Drop unused variable	2019-12-05 09:03:17 +01:00
CiteErrorReporter.php	Add strict PHP 7 type hints to most code	2019-12-02 08:51:42 +01:00
CiteKeyFormatter.php	Add visual whitespace to concat code	2019-12-04 18:12:47 +01:00
FootnoteBodyFormatter.php	Don't indent refs with forbidden extends="…"	2019-12-04 15:17:03 +00:00
FootnoteMarkFormatter.php	Stop formatting "1.2" as "1,2" in languages like German	2019-12-04 09:43:04 +01:00
ReferenceMessageLocalizer.php	Use message localizer in FootnoteBodyFormatter	2019-12-04 13:41:44 +01:00
ReferenceStack.php	Fix function signature in phpdoc	2019-12-03 13:26:50 +01:00