[MediaWiki-commits] [Gerrit] mediawiki...CirrusSearch[master]: Fix scripts/gen-autoload.php

2016-08-10 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Fix scripts/gen-autoload.php .. Fix scripts/gen-autoload.php Change-Id: Iebc6ec5cfe1308cddc828165c8b45e032de7ac57 --- M scripts/gen-autoload.php 1 file

[MediaWiki-commits] [Gerrit] mediawiki...CirrusSearch[master]: Fix scripts/gen-autoload.php

2016-08-08 Thread DCausse (Code Review)
DCausse has uploaded a new change for review. https://gerrit.wikimedia.org/r/303534 Change subject: Fix scripts/gen-autoload.php .. Fix scripts/gen-autoload.php Change-Id: Iebc6ec5cfe1308cddc828165c8b45e032de7ac57 --- M