$source
*/
public static function getString(array $source, string $key, string $default = ''): string
{
$value = $source[$key] ?? $default;
return is_scalar($value) ? trim((string)$value) : $default;
}
public static function redirect(string $url): void
{
if (PHP_SAPI === 'cli') {
header('Content-Type: text/html; charset=UTF-8');
echo self::redirectDocument($url);
exit;
}
header('Location: ' . $url, true, 302);
exit;
}
public static function redirectDocument(string $url): string
{
$safeUrl = htmlspecialchars($url, ENT_QUOTES | ENT_SUBSTITUTE, 'UTF-8');
$jsonUrl = json_encode($url, JSON_HEX_TAG | JSON_HEX_APOS | JSON_HEX_AMP | JSON_HEX_QUOT);
return '' .
'' .
'' .
'Przekierowanie' .
'Przekierowanie... Kontynuuj
' .
'' .
'';
}
}