[MediaWiki-commits] [Gerrit] Change "userright" to "user right" - change (mediawiki/core)

2015-06-25 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Change "userright" to "user right" .. Change "userright" to "user right" I don't see a reason to write it without a space. Change-Id: I885685fbbead2583f2

[MediaWiki-commits] [Gerrit] Change "userright" to "user right" - change (mediawiki/core)

2015-06-24 Thread Amire80 (Code Review)
Amire80 has uploaded a new change for review. https://gerrit.wikimedia.org/r/220632 Change subject: Change "userright" to "user right" .. Change "userright" to "user right" I don't see a reason to write it without a space. C