Update LocalSettings_ext.php