Personally, I've wanted to do away with having a settings file in PHP
entirely, and rather do something closer to how Drupal 8 handles
configurations. With the current state of configuration, its not reliably
possible to know how a wiki is configured automatically. Making any sort of
maintenance/deployment tools for a mediawiki install quite powerless if a
user edits LocalSettings.php themselves.