Tests of operations/mediawiki-config repo should have detected the colon in that patch:
https://gerrit.wikimedia.org/r/c/operations/mediawiki-config/+/486221/5/wmf-config/InitialiseSettings.php
Description
Details
Project | Branch | Lines +/- | Subject | |
---|---|---|---|---|
operations/mediawiki-config | master | +7 -9 | [tests] wgExtraNamespaces should not contain colons |
Event Timeline
Change 486382 had a related patch set uploaded (by Framawiki; owner: Framawiki):
[operations/mediawiki-config@master] [tests] wgExtraNamespaces should not contain colons
@Framawiki So it turns out, that was not colon actually. See https://en.wikipedia.org/w/index.php?title=%E0%A4%83&redirect=no where the mark was redirected to Visarga. Then note the actual colon (:) redirect page here: https://en.wikipedia.org/w/index.php?title=%EF%B9%95&redirect=no. This shows their distinctness.
Thank you for the explanation. But these tests may be useful in another case, so I'll push them.
Change 486382 had a related patch set uploaded (by Framawiki; owner: Framawiki):
[operations/mediawiki-config@master] [tests] wgExtraNamespaces should not contain colons
Change 486382 merged by jenkins-bot:
[operations/mediawiki-config@master] [tests] wgExtraNamespaces should not contain colons