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

Aude has uploaded a new change for review. https://gerrit.wikimedia.org/r/180462 Change subject: Remove unused imports from Lib .. Remove unused imports from Lib Some are not reported by PHPStorm, I found them with a regex.

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

jenkins-bot has submitted this change and it was merged. Change subject: Remove unused imports from Lib .. Remove unused imports from Lib Some are not reported by PHPStorm, I found them with a regex. Change-Id:

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

jenkins-bot has submitted this change and it was merged. Change subject: Remove unused imports from Lib .. Remove unused imports from Lib Some are not reported by PHPStorm, I found them with a regex. Change-Id:

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

Jeroen De Dauw has uploaded a new change for review. https://gerrit.wikimedia.org/r/153608 Change subject: Remove unused imports from Lib .. Remove unused imports from Lib Change-Id: Ia2ae11c8e1fb6e47a1b5b1a3d30c6cb6fe339392

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

Jeroen De Dauw has submitted this change and it was merged. Change subject: Remove unused imports from Lib .. Remove unused imports from Lib Change-Id: Ia2ae11c8e1fb6e47a1b5b1a3d30c6cb6fe339392 --- M