public static function clear_cache() { $file = new File(PATH_TO_ROOT . self::$cache_file); $file->delete(); self::$already_reloaded = false; }