Merge "parser: inject the time for {{REVISIONTIMESTAMP}} on pre-save parse"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 23 Jun 2019 22:13:48 +0000 (22:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 23 Jun 2019 22:13:48 +0000 (22:13 +0000)
commit20e65a191541681c05d289efaf4edb20429da73d
tree0fa153b2d5f1ef99040949c28f5bab99d4b7d949
parent55c9d4deee52e886eb71df97169372fd047ef4bc
parente85fe191c91a282fa1d466997a346782644a8870
Merge "parser: inject the time for {{REVISIONTIMESTAMP}} on pre-save parse"
includes/GlobalFunctions.php
includes/Storage/DerivedPageDataUpdater.php
includes/Storage/PageEditStash.php
includes/page/WikiPage.php
includes/parser/Parser.php
includes/parser/ParserOptions.php
includes/parser/ParserOutput.php