Fix syntax error in LocalSettings.php