public static function get_pretected_pathname(stored_file $file) { return $file->get_pathname_by_contenthash(); }