/web-php/include/ |
H A D | do-download.inc | 4 This code redirects the user to the exact file to 9 function get_actual_download_file($file) 11 // Could be a normal download or a manual download file 12 $possible_files = [$file => true, "manual/$file" => false]; 14 // Find out what is the exact file requested 25 // Download a file from a mirror site 26 function download_file($mirror, $file): void 28 // Redirect to the particular file 31 header('Location: ' . $mirror . 'distributions/' . $file); 33 exit("Unable to serve you the requested file for download"); [all …]
|
H A D | get-download.inc | 5 // No file to download 7 exit("No file requested for download"); 10 // Could be a normal download or a manual download file 18 // Find out what is the exact file requested 19 $file = false; 22 $file = $name; 32 // No downloadable file found 33 if ($file === false) { 35 …The file you requested (<strong>" . htmlspecialchars($df, ENT_QUOTES, "UTF-8") . "</strong>) is no… 43 // Set local file name [all …]
|
H A D | layout.inc | 96 $file, 104 // Print an <img> tag out for a given file 162 function download_link($file, $title): void 164 $download_link = "/distributions/" . $file; 170 if ($tmp = strrchr($file, "/")) { 173 $local_file = "distributions/$file"; 178 $sig_link = "/distributions/$file.asc"; 182 // Try to get the size of the file 546 if (!file_exists($file)) { 594 doc_toc_title($lang, $index, $file); [all …]
|
H A D | last_updated.inc | 13 * This file is automagically generated, and overwritten,
|
H A D | languages.inc | 3 * This file is deprecated, and it exists for backward compatibility purposes only.
|
H A D | pregen-confs.inc | 13 * This file is automagically generated, and overwritten,
|
H A D | errors.inc | 186 'auto-prepend-file' => 'ini.core.php#ini.auto-prepend-file', 187 'auto-append-file' => 'ini.core.php#ini.auto-append-file', 201 'file-uploads' => 'ini.core.php#ini.file-uploads', 292 'session.entropy-file' => 'session.configuration.php#ini.session.entropy-file', 313 'com.typelib-file' => 'com.configuration.php#ini.com.typelib-file', 405 'file' => 'function.file.php', 420 'htaccess' => 'configuration.file.php', 444 'php.ini' => 'configuration.file.php', 468 'upload' => 'features.file-upload.php',
|
H A D | shared-manual.inc | 5 This file is included directly on all manual pages, 40 // Drop file extension from the name 102 // Open the note file for reading and get the data (12KB) 297 // Drop file extension from the name 496 // fall back to English if translation file is not found 499 // we didn't find the English file either
|
H A D | version.inc | 11 * "note" => "this file was updated 29feb due to broken phar files..",
|
/web-php/ |
H A D | quickref.php | 38 foreach ($functions as $file => $name) { 39 echo "<li><a href=\"/manual/$LANG/$file\">$name</a></li>\n"; 88 foreach ($temp as $file => $p) { 95 if ($p >= 70 || (strpos($functions[$file], $notfound) !== false)) { 96 $maybe[$file] = '<b>' . $functions[$file] . '</b>'; 100 $maybe[$file] = $functions[$file];
|
H A D | manual-lookup.php | 27 if ($file = find_manual_page($LANG, $function)) { variable 28 mirror_redirect($file);
|
H A D | download-docs.php | 105 if ($formatname === 'HTML Help file (with user notes)') {
|
/web-php/src/ |
H A D | autoload.php | 21 $file = $directory . str_replace('\\', '/', $relativeClass) . '.php'; variable 23 if (!file_exists($file)) { 27 require $file;
|
/web-php/fonts/Font-Awesome/ |
H A D | README.txt | 6 webfont pack. Details available in LICENSE.txt file. 8 - Usually, it's enough to publish content of LICENSE.txt file somewhere on your 12 file publicly available in your repository. 28 - demo.html - demo file, to show your webfont content 41 - basic file, <your_font_name>.css - is usually enough, it contains @font-face 53 - *-embedded.css - basic css file, but with embedded WOFF font, to avoid 56 server headers. But if you ok with dirty hack - this file is for you. Note, 70 webservers should be tuned. Here is list of mime types for our file extensions:
|
/web-php/tests/Unit/UserNotes/ |
H A D | SorterTest.php | 101 $file = file(__DIR__ . '/../../../backend/notes/d7/d7742c269d23ea86'); 105 foreach ($file as $line) {
|
/web-php/bin/ |
H A D | createReleaseEntry | 73 foreach ($addedFiles as $file) { echo " $file"; }
|
/web-php/manual/en/toc/ |
H A D | features.inc | 25 0 => 'features.file-upload.php', 26 1 => 'Handling file uploads',
|
H A D | ref.strings.inc | 150 0 => 'function.md5-file.php', 230 0 => 'function.sha1-file.php',
|
H A D | funcref.inc | 50 0 => 'refs.fileprocess.file.php',
|
/web-php/.github/workflows/ |
H A D | update-screenshots.yaml | 69 uses: test-room-7/action-update-file@v1 72 file-path: tests/Visual/**/*
|
/web-php/backend/ |
H A D | ip-to-country.db | 3 * This file is automagically generated, and overwritten,
|
H A D | ip-to-country.idx | 3 * This file is automagically generated, and overwritten,
|
/web-php/styles/ |
H A D | mirror.css | 48 #mirrors-container .download-file small { 53 #mirrors-container .download-file {
|
/web-php/.well-known/ |
H A D | security.txt | 13 # For instructions on how to update this file, read
|
/web-php/releases/ |
H A D | NEWS_5_4_0_RC1.txt | 1559 - Fixed bug #51647 Certificate file without private key (pk in another file) 1644 file and line in trace). (Felipe) 1845 not file). (Stas) 1851 non-existant file). (Dmitry) 2136 file). (Greg) 3145 document to file. (Ilia) 3243 in parsed file). (Jani) 3555 - Fixed move_uploaded_file() to always set file permissions of resulting file 3888 non-existent file). (Tony) 5147 file. (Mike) [all …]
|