jenkins-bot has submitted this change and it was merged.
Change subject: Remove references to AdminSettings.php
..
Remove references to AdminSettings.php
The use of this file is no longer possible. The few remaining strings
jenkins-bot has submitted this change and it was merged.
Change subject: Remove references to AdminSettings.php
..
Remove references to AdminSettings.php
The use of this file is no longer possible. The few remaining strings
Siebrand has uploaded a new change for review.
https://gerrit.wikimedia.org/r/295509
Change subject: Remove references to AdminSettings.php
..
Remove references to AdminSettings.php
The use of this file is no longer
Siebrand has uploaded a new change for review.
https://gerrit.wikimedia.org/r/295508
Change subject: Remove references to AdminSettings.php
..
Remove references to AdminSettings.php
The use of this file is no longer