Thread:Support/About MediaWiki:Gwtoolset-verify-api-enabled/he

This message shouldn't mention DefaultSettings.php. It's a source file that end users usually should not touch.