[MediaWiki-commits] [Gerrit] Remove unused imports from repo - change (mediawiki...Wikibase)

2016-02-12 Thread WMDE
Thiemo Mättig (WMDE) has uploaded a new change for review. https://gerrit.wikimedia.org/r/270282 Change subject: Remove unused imports from repo .. Remove unused imports from repo Seems two of these were a mistake in

[MediaWiki-commits] [Gerrit] Remove unused imports from repo - change (mediawiki...Wikibase)

2016-02-12 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Remove unused imports from repo .. Remove unused imports from repo Seems two of these were a mistake in Ib27173a. Change-Id:

[MediaWiki-commits] [Gerrit] Remove unused imports from repo - change (mediawiki...Wikibase)

2015-11-16 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Remove unused imports from repo .. Remove unused imports from repo As usual found with my nifty regex (?s)\buse\b\s*(?:\b\w+\\)*(\b\w+\b)\s*;(?!.*\b\1\b)

[MediaWiki-commits] [Gerrit] Remove unused imports from repo - change (mediawiki...Wikibase)

2015-11-16 Thread WMDE
Thiemo Mättig (WMDE) has uploaded a new change for review. https://gerrit.wikimedia.org/r/253312 Change subject: Remove unused imports from repo .. Remove unused imports from repo As usual found with my nifty regex

[MediaWiki-commits] [Gerrit] Remove unused imports from Repo - change (mediawiki...Wikibase)

2014-12-02 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Remove unused imports from Repo .. Remove unused imports from Repo Some are not reported by PHPStorm, I found them with a regex. Change-Id: