Home
last modified time | relevance | path

Searched refs:file (Results 1 – 25 of 36) sorted by relevance

12

/web-php/include/
H A Ddo-download.inc4 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 Dget-download.inc5 // 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 Dlayout.inc92 $file,
100 // Print an <img> tag out for a given file
158 function download_link($file, $title): void
160 $download_link = "/distributions/" . $file;
166 if ($tmp = strrchr($file, "/")) {
169 $local_file = "distributions/$file";
174 $sig_link = "/distributions/$file.asc";
178 // Try to get the size of the file
489 if (!file_exists($file)) {
537 doc_toc_title($lang, $index, $file);
[all …]
H A Dip-to-country.inc12 the index file contains the step value used to create the
15 lines are placed in the file with the division results and
16 starting indexes (pointing to the data file).
18 The data file has a fixed record size format to ease
89 // Open the index file for reading
96 // Read in granularity from index file and
100 // The file is empty (demo file)
105 // Loop till we can read the file
108 // Get CSV data from index file
145 // Read records until we hit the end of the file,
H A Dlast_updated.inc13 * This file is automagically generated, and overwritten,
H A Dpregen-confs.inc13 * This file is automagically generated, and overwritten,
H A Derrors.inc184 'auto-prepend-file' => 'ini.core.php#ini.auto-prepend-file',
185 'auto-append-file' => 'ini.core.php#ini.auto-append-file',
199 'file-uploads' => 'ini.core.php#ini.file-uploads',
290 'session.entropy-file' => 'session.configuration.php#ini.session.entropy-file',
311 'com.typelib-file' => 'com.configuration.php#ini.com.typelib-file',
403 'file' => 'function.file.php',
418 'htaccess' => 'configuration.file.php',
442 'php.ini' => 'configuration.file.php',
466 'upload' => 'features.file-upload.php',
H A Dversion.inc11 * "note" => "this file was updated 29feb due to broken phar files..",
H A Dshared-manual.inc5 This file is included directly on all manual pages,
39 // Drop file extension from the name
96 // Open the note file for reading and get the data (12KB)
292 // Drop file extension from the name
/web-php/
H A Dquickref.php38 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 Dmanual-lookup.php27 if ($file = find_manual_page($LANG, $function)) { variable
28 mirror_redirect($file);
H A Ddownload-docs.php102 if ($formatname === 'HTML Help file (with user notes)') {
/web-php/src/
H A Dautoload.php21 $file = $directory . str_replace('\\', '/', $relativeClass) . '.php'; variable
23 if (!file_exists($file)) {
27 require $file;
/web-php/fonts/Font-Awesome/
H A DREADME.txt6 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 DSorterTest.php101 $file = file(__DIR__ . '/../../../backend/notes/d7/d7742c269d23ea86');
105 foreach ($file as $line) {
/web-php/bin/
H A DcreateReleaseEntry73 foreach ($addedFiles as $file) { echo " $file"; }
/web-php/manual/en/toc/
H A Dfeatures.inc25 0 => 'features.file-upload.php',
26 1 => 'Handling file uploads',
H A Dref.strings.inc150 0 => 'function.md5-file.php',
230 0 => 'function.sha1-file.php',
H A Dfuncref.inc50 0 => 'refs.fileprocess.file.php',
/web-php/backend/
H A Dip-to-country.db3 * This file is automagically generated, and overwritten,
H A Dip-to-country.idx3 * This file is automagically generated, and overwritten,
/web-php/styles/
H A Dmirror.css48 #mirrors-container .download-file small {
53 #mirrors-container .download-file {
/web-php/.well-known/
H A Dsecurity.txt13 # For instructions on how to update this file, read
/web-php/releases/
H A DNEWS_5_4_0_RC1.txt1559 - 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 …]
H A DNEWS_5_4_0_beta1.txt1463 - Fixed bug #51647 Certificate file without private key (pk in another file)
1548 file and line in trace). (Felipe)
1749 not file). (Stas)
1755 non-existant file). (Dmitry)
2040 file). (Greg)
3049 document to file. (Ilia)
3147 in parsed file). (Jani)
3459 - Fixed move_uploaded_file() to always set file permissions of resulting file
3792 non-existent file). (Tony)
5051 file. (Mike)
[all …]

Completed in 109 milliseconds

12