[MediaWiki-commits] [Gerrit] mediawiki...UserMerge[master]: Remove old UserMerge special page class alias

2016-10-03 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Remove old UserMerge special page class alias .. Remove old UserMerge special page class alias Change-Id: Ie9e1231ea4f73a94d14f7c588befcbd4060205d7 --- M

[MediaWiki-commits] [Gerrit] mediawiki...UserMerge[master]: Remove old UserMerge special page class alias

2016-10-03 Thread Reedy (Code Review)
Reedy has uploaded a new change for review. https://gerrit.wikimedia.org/r/313907 Change subject: Remove old UserMerge special page class alias .. Remove old UserMerge special page class alias Change-Id: