Searched refs:filename (Results 1 – 15 of 15) sorted by relevance
| /web-php/include/ |
| H A D | releases.inc | 20 'filename' => 'php-8.1.30.tar.gz',
27 'filename' => 'php-8.1.30.tar.bz2',
34 'filename' => 'php-8.1.30.tar.xz',
56 'filename' => 'php-8.3.13.tar.gz',
63 'filename' => 'php-8.3.13.tar.bz2',
70 'filename' => 'php-8.3.13.tar.xz',
92 'filename' => 'php-8.2.25.tar.gz',
99 'filename' => 'php-8.2.25.tar.bz2',
106 'filename' => 'php-8.2.25.tar.xz',
129 'filename' => 'php-8.2.24.tar.gz',
[all …]
|
| H A D | version.inc | 7 * "filename" => "filename.tar.bz2",
82 'filename' => "php-{$version}.{$format}",
|
| H A D | header.inc | 16 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?>&f=<?php echo $filename?>" media="screen">
|
| H A D | shared-manual.inc | 38 list($filename) = $GLOBALS['PGI']['this'];
41 if (substr($filename, -4) == '.php') {
42 $filename = substr($filename, 0, -4);
52 $addnotelink = '/manual/add-note.php?sect=' . $filename .
295 $filename = $PGI['this'][0];
298 if (substr($filename, -4) == '.php') {
299 $filename = substr($filename, 0, -4);
301 $USERNOTES = manual_notes_load($filename);
|
| H A D | footer.inc | 101 foreach ($jsfiles as $filename) {
102 $path = dirname(__DIR__) . '/js/' . $filename;
103 …echo '<script src="/cached.php?t=' . @filemtime($path) . '&f=/js/' . $filename . '"></script>'…
|
| H A D | errors.inc | 581 $filename = $_SERVER["DOCUMENT_ROOT"] . "/manual/legacyurls.json";
582 $pages_ids = json_decode(file_get_contents($filename), true);
|
| /web-php/ |
| H A D | mirror-info.php | 18 $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.php | 5 $filename = $_SERVER["PATH_INFO"] ?? $_SERVER["SCRIPT_NAME"]; variable
7 if (!file_exists($_SERVER["DOCUMENT_ROOT"] . $filename)) {
|
| H A D | error.php | 158 $filename = get_actual_download_file($df); variable
159 if ($filename) {
161 download_file($mr, $filename);
|
| H A D | download-docs.php | 93 $filepath = $filename = ''; variable
|
| /web-php/images/ |
| H A D | logo.php | 22 function imgheader($filename) { argument
23 $ext = strtolower(pathinfo($filename, PATHINFO_EXTENSION));
|
| /web-php/src/News/ |
| H A D | Entry.php | 184 $filename = date("Y-m-d", $_SERVER["REQUEST_TIME"]);
188 $id = $filename . "-" . $count;
|
| /web-php/releases/ |
| H A D | NEWS_5_4_0_beta2.txt | 548 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 D | NEWS_5_4_0_RC1.txt | 593 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 D | NEWS_5_4_0_beta1.txt | 497 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 80 milliseconds
