[MediaWiki-commits] [Gerrit] mediawiki...Kartographer[master]: PHP code cleanup

2016-09-08 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: PHP code cleanup .. PHP code cleanup Followed idea's code suggestions. TODO: * Is private State::version still being used? Comments seem to indicate som

[MediaWiki-commits] [Gerrit] mediawiki...Kartographer[master]: PHP code cleanup

2016-09-06 Thread Yurik (Code Review)
Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/308926 Change subject: PHP code cleanup .. PHP code cleanup Followed idea's code suggestions. TODO: * Is private State::version still being used? Co