Merge "Pass delimiter to preg_quote"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 10 Sep 2018 23:55:19 +0000 (23:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 10 Sep 2018 23:55:19 +0000 (23:55 +0000)
commitdf76e044f554548fe8f7b2e997e3954e440f9826
tree19c0b29c13b1313efa145d3d58577c7d2d7d0a56
parentd0fd63da25fb4798a8bbee3032b5cea35812d1ca
parentacb2e720d86076c5d2dee8f36fc82ae9156ee3d5
Merge "Pass delimiter to preg_quote"
tests/phpunit/MediaWikiTestCase.php