Merge "title: Convert binary regexp to use Unicode code points"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 15 May 2019 11:20:03 +0000 (11:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 15 May 2019 11:20:03 +0000 (11:20 +0000)
commit18a53cb48bc5848e490f3bc1c444e26ef8bc8299
tree6c318464fc54967c36d509604036b5c8538c9526
parent01c2e25f0a0d5ae142f325773ab623c074d99f59
parentc00c1f0b21ec4b07ab317e410945fb9cd336317a
Merge "title: Convert binary regexp to use Unicode code points"
includes/title/MediaWikiTitleCodec.php