https://www.mediawiki.org/wiki/Manual:DevelopmentSettings.php
Manual:DevelopmentSettings.php - MediaWiki
manualphpmediawiki
https://doc.wikimedia.org/mediawiki-core/master/php/DevelopmentSettings_8php_source.html
MediaWiki: includes/DevelopmentSettings.php Source File
mediawikiincludesphpsourcefile