Editing: ExtensionFileException.php