[MediaWiki-commits] [Gerrit] Makes user options also work when the value is "1" instead of 1 - change (mediawiki...ProofreadPage)

2016-06-23 Thread Tpt (Code Review)
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)

2016-06-23 Thread jenkins-bot (Code Review)
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