Lines Matching defs:file

647      * @param string $field name of the upload file
771      * Purge the cache by touching the main configuration file
824      * Save the given URL and current datetime in the manager.dat file of all installed extensions
856      * Read the manager.dat file
862             $file = @file($managerpath);
863             if (!empty($file)) {
864                 foreach ($file as $line) {
877      * Write the manager.data file
905      * downloads a file from the net and saves it
907      * - $file is the directory where the file should be saved
908      * - if successful will return the name used for the saved file, false otherwise
914      * @param string $file          path to file or directory where to save
916      * @return bool|string          if failed false, otherwise true or the name of the file in the given dir
918     protected function downloadToFile($url, $file, $defaultName = '')
947         $file .= $name;
949         $fileexists = file_exists($file);
950         $fp = @fopen($file, "w");
954         if (!$fileexists && $conf['fperm']) chmod($file, $conf['fperm']);
972         // try to get the file from the path (used as plugin name fallback)
973         $file = parse_url($url, PHP_URL_PATH);
974         if (is_null($file)) {
975             $file = md5($url);
977             $file = PhpString::basename($file);
986         if (!$file = $this->downloadToFile($url, $tmp . '/', $file)) {
994         return $tmp . '/' . $file;
998      * @param string $file      The path to the archive that shall be installed
1004     public function installArchive($file, $overwrite = false, $base = '')
1019         $this->decompress($file, "$tmp/" . $base);
1104      * as indicator for a root folder. When such a file is found, it's base
1136                 // it's a file -> check for config
1185      * Decompress a given file to the given target directory
1187      * Determines the compression type from the file extension
1189      * @param string $file   archive to extract
1194     private function decompress($file, $target)
1199         $ext = $this->guessArchiveType($file);
1203                 $tar->open($file);
1213                 $zip->open($file);
1223         // when the archive file can't be read
1224         throw new Exception($this->getLang('error_decompress') . ' Couldn\'t read archive file');
1228      * Determine the archive type of the given file
1230      * Reads the first magic bytes of the given file for content type guessing,
1234      * @param string $file The file to analyze
1235      * @return string|false false if the file can't be read, otherwise an "extension"
1237     private function guessArchiveType($file)
1239         $fh = fopen($file, 'rb');
1253      * @param string $src filename path to file
1254      * @param string $dst filename path to file
1295             // get definition file
1306             $list = file($definitionfile);
1311                 $file = $extensiondir . $line;
1312                 if (!file_exists($file)) continue;
1314                 io_rmdir($file, true);