Lines Matching refs:file

52      * UPDATE_LOCAL: Updates from a local file (file_get_contents).
72      * The values to quote in the ini file
79      * The headers to be sent for checking the version and requesting the file.
87      *                browscap.ini file is available.
88      * $remoteIniUrl: The location from which download the ini file.
89      *                The placeholder for the file should be represented by a %s.
94      * $updateMethod: The method to use to update the file, has to be a value of
97      * The default source file type is changed from normal to full. The performance difference
98      * is MINIMAL, so there is no reason to use the standard file whatsoever. Either go for light,
110      * The path of the local version of the browscap.ini file from which to
137      * file does not exist.
151      * Where to store the downloaded ini file.
172      * Where to store the value of the included PHP cache file
218                 'You have to provide a path to read/store the browscap cache file'
231         // Is the cache dir really the directory or is it directly the file?
481      * Parses the ini file and updates the cache files
483      * @return bool whether the file was correctly written to the disk
743      * @return string the PHP string to save into the cache file
782      * Updates the local copy of the ini file (by version checking) and adapts
786      * @param string $path  the path of the ini file to update
788      * @return bool if the ini file was updated
810         // Get updated .ini file
823         // Ok, lets read the file
840      * Gets the remote ini file update timestamp
858      * Gets the local ini file update timestamp
866             throw new Exception("Local file is not readable");
912      * @return string the name of function to use to retrieve the file
947                 $file = file_get_contents($url);
949                 if ($file !== false) {
950                     return $file;
952                     throw new Exception('Cannot open the local file');
957                 $file = file_get_contents($url, false, $context);
959                 if ($file !== false) {
960                     return $file;
984                         $file = '';
986                             $file .= fgets($remote_handler);
989                         $file = str_replace("\r\n", "\n", $file);
990                         $file = explode("\n\n", $file);
991                         array_shift($file);
993                         $file = implode("\n\n", $file);
997                         return $file;
1007                 $file = curl_exec($ch);
1011                 if ($file !== false) {
1012                     return $file;
1015                 throw new Exception('Your server can\'t connect to external resources. Please update the file manually.');