Merge "Remove support for StartProfiler.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 29 Aug 2018 01:16:33 +0000 (01:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 29 Aug 2018 01:16:33 +0000 (01:16 +0000)
commit1d9fd23ab3583788fb2e3ae8e641cf83b09ef8df
tree2acf57f30d6c8112e3ef95b3fb6a96569c125393
parent065bec63ea52ca1195c264c756d986411c912def
parentebec274f17b0b9677c577fd4f1ced67aa61f06c8
Merge "Remove support for StartProfiler.php"
RELEASE-NOTES-1.32
includes/DefaultSettings.php