Home
last modified time | relevance | path

Searched refs:filename (Results 1 – 15 of 15) sorted by relevance

/web-php/include/
H A Dreleases.inc19 'filename' => 'php-8.1.27.tar.gz',
26 'filename' => 'php-8.1.27.tar.bz2',
33 'filename' => 'php-8.1.27.tar.xz',
55 'filename' => 'php-8.3.4.tar.gz',
62 'filename' => 'php-8.3.4.tar.bz2',
69 'filename' => 'php-8.3.4.tar.xz',
91 'filename' => 'php-8.2.17.tar.gz',
105 'filename' => 'php-8.2.17.tar.xz',
127 'filename' => 'php-8.3.3.tar.gz',
134 'filename' => 'php-8.3.3.tar.bz2',
[all …]
H A Dheader.inc16 foreach($css_files as $filename) {
19 if ($filename[0] !== '/') {
20 $filename = "/styles/$filename";
22 $path = dirname(__DIR__) . $filename;
23 $CSS[$filename] = @filemtime($path);
84 <?php foreach($CSS as $filename => $modified): ?>
85 …"text/css" href="/cached.php?t=<?php echo $modified?>&amp;f=<?php echo $filename?>" media="screen">
H A Dversion.inc7 * "filename" => "filename.tar.bz2",
70 'filename' => "php-{$version}.{$format}",
H A Dshared-manual.inc37 list($filename) = $GLOBALS['PGI']['this'];
40 if (substr($filename, -4) == '.php') {
41 $filename = substr($filename, 0, -4);
49 $addnotelink = '/manual/add-note.php?sect=' . $filename .
290 $filename = $PGI['this'][0];
293 if (substr($filename, -4) == '.php') {
294 $filename = substr($filename, 0, -4);
296 $USERNOTES = manual_notes_load($filename);
H A Dfooter.inc91 foreach ($jsfiles as $filename) {
92 $path = dirname(__DIR__) . '/js/' . $filename;
93 …echo '<script src="/cached.php?t=' . @filemtime($path) . '&amp;f=/js/' . $filename . '"></script>'…
H A Derrors.inc579 $filename = $_SERVER["DOCUMENT_ROOT"] . "/manual/legacyurls.json";
580 $pages_ids = json_decode(file_get_contents($filename), true);
/web-php/
H A Dmirror-info.php18 $filename = __DIR__ . "/distributions/{$dist['filename']}"; variable
19 if (!file_exists($filename)) {
24 $hash_ok = (int)(hash_file('sha256', $filename) === $dist['sha256']);
H A D.router.php5 $filename = $_SERVER["PATH_INFO"] ?? $_SERVER["SCRIPT_NAME"]; variable
7 if (!file_exists($_SERVER["DOCUMENT_ROOT"] . $filename)) {
H A Derror.php156 $filename = get_actual_download_file($df); variable
157 if ($filename) {
159 download_file($mr, $filename);
H A Ddownload-docs.php90 $filepath = $filename = ''; variable
/web-php/images/
H A Dlogo.php22 function imgheader($filename) { argument
23 $ext = strtolower(pathinfo($filename, PATHINFO_EXTENSION));
/web-php/src/News/
H A DEntry.php184 $filename = date("Y-m-d", $_SERVER["REQUEST_TIME"]);
188 $id = $filename . "-" . $count;
/web-php/releases/
H A DNEWS_5_4_0_beta2.txt548 filename). (Felipe) Reported by Krzysztof Kotowicz. (CVE-2011-2202)
986 . Added the filename into the return value of stream_get_meta_data(). (Hannes)
H A DNEWS_5_4_0_RC1.txt593 filename). (Felipe) Reported by Krzysztof Kotowicz. (CVE-2011-2202)
1031 . Added the filename into the return value of stream_get_meta_data(). (Hannes)
1484 - Fixed the mail.log ini setting when no filename was given. (Johannes)
2064 - Fixed bug #49020 (phar misinterprets ustar long filename standard).
2077 - Fixed bug #48962 (cURL does not upload files with specified filename).
2555 - Added optional clear_realpath_cache and filename parameters to
3006 - Fixed zip filename property read. (Pierre)
3306 - Fixed bug #45151 (Crash with URI/file..php (filename contains 2 dots)).
3434 - Fixed bug #44591 (imagegif's filename parameter). (Felipe)
4638 - Added PATHINFO_FILENAME option to pathinfo() to get the filename.
H A DNEWS_5_4_0_beta1.txt497 filename). (Felipe) Reported by Krzysztof Kotowicz. (CVE-2011-2202)
935 . Added the filename into the return value of stream_get_meta_data(). (Hannes)
1388 - Fixed the mail.log ini setting when no filename was given. (Johannes)
1968 - Fixed bug #49020 (phar misinterprets ustar long filename standard).
1981 - Fixed bug #48962 (cURL does not upload files with specified filename).
2459 - Added optional clear_realpath_cache and filename parameters to
2910 - Fixed zip filename property read. (Pierre)
3210 - Fixed bug #45151 (Crash with URI/file..php (filename contains 2 dots)).
3338 - Fixed bug #44591 (imagegif's filename parameter). (Felipe)
4542 - Added PATHINFO_FILENAME option to pathinfo() to get the filename.

Completed in 100 milliseconds