[MediaWiki-commits] [Gerrit] Delete obsolete require_once lines - change (wikimedia...crm)

2014-11-26 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Delete obsolete require_once lines .. Delete obsolete require_once lines Moved to settings.php Change-Id: I82060c47d1202ea4601b84cc8d8e2a9445d5496a ---

[MediaWiki-commits] [Gerrit] Delete obsolete require_once lines - change (wikimedia...crm)

2014-10-28 Thread Ejegg (Code Review)
Ejegg has uploaded a new change for review. https://gerrit.wikimedia.org/r/169584 Change subject: Delete obsolete require_once lines .. Delete obsolete require_once lines Moved to settings.php Change-Id: