diff options
author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2018-04-17 20:22:23 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@wikimedia.org> | 2018-04-17 20:22:23 +0000 |
commit | 8519b66979096124a4a6e1720937a501d720fd5b (patch) | |
tree | 35a43d7ee0b4cba208947738bba24b590844c94b /tests/phpunit/includes/exception/HttpErrorTest.php | |
parent | 69257de17fc899c447c9f1229b6ed319bc05d316 (diff) | |
parent | 5209adff6cf13a002843347d5e3942aeb5c255ce (diff) | |
download | mediawikicore-8519b66979096124a4a6e1720937a501d720fd5b.tar.gz mediawikicore-8519b66979096124a4a6e1720937a501d720fd5b.zip |
Merge "Setup: Deprecate StartProfiler, move default to DefaultSettings"
Diffstat (limited to 'tests/phpunit/includes/exception/HttpErrorTest.php')
0 files changed, 0 insertions, 0 deletions