[MediaWiki-commits] [Gerrit] Remove unused global - change (mediawiki/core)

2013-06-04 Thread Platonides (Code Review)
Platonides has uploaded a new change for review. https://gerrit.wikimedia.org/r/67019 Change subject: Remove unused global .. Remove unused global Follow-up 22eb569 Change-Id: I2c34b1f02c7304bd6864a7402c8be0ab313c7162 ---

[MediaWiki-commits] [Gerrit] Remove unused global - change (mediawiki/core)

2013-06-04 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Remove unused global .. Remove unused global Follow-up 22eb569 Change-Id: I2c34b1f02c7304bd6864a7402c8be0ab313c7162 --- M includes/Title.php 1 file