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)
1  2 
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

Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge