Thread:Project:Support desk/MIME type warning/reply (3)

So add it to LocalSettings.php.

DefaultSettings.php simply sets the sane defaults for various global variables. LocalSettings.php is meant for configuration specific to your site, for variables that you want to customize.