file_line depends on LocalSettings.php being present