Merge "mediawiki.util: Improve escapeId*() docs and minor optimisations"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 11 Sep 2019 18:42:21 +0000 (18:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 11 Sep 2019 18:42:21 +0000 (18:42 +0000)
commita354710aff673a54e38aa7cfd9c4b55a1d7e3943
treeb261223be9cb6461d9bafae909629cd55c96dac9
parent70e2881cec98b89edc5afebfae55650782937e67
parent1ee9d373e0ddc9782dbca8f1275f41822717c89f
Merge "mediawiki.util: Improve escapeId*() docs and minor optimisations"