DefaultSettings.php

This page has been moved to Manual:Configuration settings on mediawiki.org.

Any modifications or additions to this page should be made on mediawiki.org instead.