[MediaWiki-commits] [Gerrit] mediawiki...InputBox[wmf/1.31.0-wmf.17]: Follow-up dd0a0035e: make useve work together with prefix

2018-01-22 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/405390 ) Change subject: Follow-up dd0a0035e: make useve work together with prefix .. Follow-up dd0a0035e: make useve work together with

[MediaWiki-commits] [Gerrit] mediawiki...InputBox[wmf/1.31.0-wmf.17]: Follow-up dd0a0035e: make useve work together with prefix

2018-01-19 Thread Catrope (Code Review)
Catrope has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/405390 ) Change subject: Follow-up dd0a0035e: make useve work together with prefix .. Follow-up dd0a0035e: make useve work together with prefix If y