Merge "Output more MW version info in update.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 27 Jun 2019 00:18:14 +0000 (00:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 27 Jun 2019 00:18:14 +0000 (00:18 +0000)
commit647e0709aecf59b77af8114d2c79dc5eeef514f9
tree5e5c81c62a96cbd9edee2c83ba9c0120acc236c9
parent9bc5c77c057a9d9f25c0493fbd496005cee3dee8
parente73328601d51674e8fef89c3db12b30ceafd702f
Merge "Output more MW version info in update.php"