41 lines
1.1 KiB
PHP
41 lines
1.1 KiB
PHP
<?php
|
|
/* This file is free software: you can redistribute it and/or modify
|
|
it under the terms of version 3 of the GNU Affero General Public
|
|
License as published by the Free Software Foundation.
|
|
|
|
This file is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU Affero General Public License for more details. */
|
|
|
|
|
|
// STRING -- > STRING
|
|
// Turn a path (relative to root) into absolute URL
|
|
function root_url($string) {
|
|
return protocol() . "://" . $_SERVER['HTTP_HOST'] . "/"
|
|
. $GLOBALS['root']
|
|
. $string;
|
|
}
|
|
|
|
|
|
// NIL --> STRING
|
|
// Return the current protocol (HTTP, HTTPS, etc)
|
|
function protocol() {
|
|
return explode('/', $_SERVER['SERVER_PROTOCOL'])[0];
|
|
}
|
|
|
|
|
|
// STRING --> NIL
|
|
// Redirect to a regular URL (I.E., "https://duckduckgo.com")
|
|
function redirect($url) {
|
|
header('Location: ' . $url);
|
|
return;
|
|
}
|
|
|
|
// STRING --> NIL
|
|
// Redirect to a URL relative to root (I.E., "res/img/")
|
|
function root_redirect($path) {
|
|
header('Location: ' . root_url($path));
|
|
return;
|
|
}
|