59 lines
1.1 KiB
PHP
59 lines
1.1 KiB
PHP
<?php
|
|
|
|
|
|
// FILEPATH URL --> RELATIVE_PATH
|
|
// SIDE-EFFECT: Written redirect PHP to filepath
|
|
// Create a simple PHP redirection file at $filepath to $url;
|
|
// return the relative path to it.
|
|
function write_alias($filepath, $url)
|
|
{
|
|
$file_p = fopen($filepath, 'w');
|
|
$redirect_string = "<?php header('Location: " . $url . "'); ?>\n";
|
|
|
|
if (fwrite($file_p, $redirect_string)) {
|
|
fclose($file_p);
|
|
return $filepath;
|
|
}
|
|
else {
|
|
return 0;
|
|
}
|
|
}
|
|
|
|
|
|
|
|
// FILEPATH SOURCE_STRING --> RELATIVE_PATH
|
|
// SIDE-EFFECT: Written metadata TXT at $filepath.txt
|
|
// Create a metadata file for set path;
|
|
// return the relative path to it.
|
|
function write_metadata($filepath, $source)
|
|
{
|
|
if (empty($source)) {
|
|
$source = "[citation needed]";
|
|
}
|
|
|
|
$file_p = fopen($filepath . ".txt", 'w');
|
|
$source_string = "Source:\n"
|
|
. prefix_text(set_line_length($source, 50),
|
|
" ");
|
|
|
|
if (fwrite($file_p, $source_string)) {
|
|
fclose($file_p);
|
|
return $source_string;
|
|
}
|
|
else {
|
|
return 0;
|
|
}
|
|
}
|
|
|
|
|
|
|
|
// FILENAME --> FILE_EXTENSION
|
|
// Return the file-extension of a filename.
|
|
function file_extension($file_name)
|
|
{
|
|
return pathinfo($file_name, PATHINFO_EXTENSION);
|
|
}
|
|
|
|
|
|
?>
|