[MediaWiki-commits] [Gerrit] Optimized repo imports - change (mediawiki...Wikibase)

jenkins-bot has submitted this change and it was merged. Change subject: Optimized repo imports .. Optimized repo imports Change-Id: I7e87fac99f8aff5730e1b692049d079be98bf6b3 --- M repo/config/Wikibase.default.php M

[MediaWiki-commits] [Gerrit] Optimized repo imports - change (mediawiki...Wikibase)

Jeroen De Dauw has uploaded a new change for review. https://gerrit.wikimedia.org/r/231033 Change subject: Optimized repo imports .. Optimized repo imports Change-Id: I7e87fac99f8aff5730e1b692049d079be98bf6b3 --- M

[MediaWiki-commits] [Gerrit] Optimized repo imports - change (mediawiki...Wikibase)

jenkins-bot has submitted this change and it was merged. Change subject: Optimized repo imports .. Optimized repo imports Change-Id: I051a6a18a94bd5a679c9c479b51f32f9c8223e5c --- M repo/includes/ChangeOp/ChangeOpAliases.php M

[MediaWiki-commits] [Gerrit] Optimized repo imports - change (mediawiki...Wikibase)

Jeroen De Dauw has uploaded a new change for review. https://gerrit.wikimedia.org/r/153611 Change subject: Optimized repo imports .. Optimized repo imports Change-Id: I051a6a18a94bd5a679c9c479b51f32f9c8223e5c --- M