[MediaWiki-commits] [Gerrit] Remove not needed ref to deprecated global - change (mediawiki...Wikibase)

2014-08-04 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Remove not needed ref to deprecated global .. Remove not needed ref to deprecated global Change-Id: Ic7258ee08be75bd7de98ef1a9ef9713e09776a17 --- M lib/te

[MediaWiki-commits] [Gerrit] Remove not needed ref to deprecated global - change (mediawiki...Wikibase)

2014-08-03 Thread Jeroen De Dauw (Code Review)
Jeroen De Dauw has uploaded a new change for review. https://gerrit.wikimedia.org/r/151511 Change subject: Remove not needed ref to deprecated global .. Remove not needed ref to deprecated global Change-Id: Ic7258ee08be75bd7d