mediawiki.util: Improve escapeId*() docs and minor optimisations
authorTimo Tijhof <krinklemail@gmail.com>
Wed, 11 Sep 2019 04:30:16 +0000 (05:30 +0100)
committerTimo Tijhof <krinklemail@gmail.com>
Wed, 11 Sep 2019 04:55:57 +0000 (05:55 +0100)
commit1ee9d373e0ddc9782dbca8f1275f41822717c89f
treef5a6d3ff50dc51c94ac8eac4deee392a49e4ac10
parentf0c24143231d90ff409ddee62c853e8b6e1522bb
mediawiki.util: Improve escapeId*() docs and minor optimisations

Change-Id: Icfd8ce7e0de0041fe84a6ebcbfab97df03c18672
resources/src/mediawiki.util/util.js