[MediaWiki-commits] [Gerrit] Get rid of cli.php - change (mediawiki...Translate)

2013-10-15 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Get rid of cli.php .. Get rid of cli.php Over the past week, all command line scripts have started using Maintenance, and this code is no longer in use.

[MediaWiki-commits] [Gerrit] Get rid of cli.php - change (mediawiki...Translate)

2013-10-15 Thread Siebrand (Code Review)
Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/89775 Change subject: Get rid of cli.php .. Get rid of cli.php Over the past week, all command line scripts have started using Maintenance, and th