[MediaWiki-commits] [Gerrit] Makes user options also work when the value is "1" instead of 1 - change (mediawiki...ProofreadPage)
Tpt has uploaded a new change for review. https://gerrit.wikimedia.org/r/295644 Change subject: Makes user options also work when the value is "1" instead of 1 .. Makes user options also work when the value is "1" instead of 1
[MediaWiki-commits] [Gerrit] Makes user options also work when the value is "1" instead of 1 - change (mediawiki...ProofreadPage)
jenkins-bot has submitted this change and it was merged. Change subject: Makes user options also work when the value is "1" instead of 1 .. Makes user options also work when the value is "1" instead of 1 Change-Id: I51723c7f4b1