2021-12-14 18:32:47 +00:00
|
|
|
<?php
|
|
|
|
|
|
|
|
|
|
declare(strict_types=1);
|
2023-01-10 22:44:09 +00:00
|
|
|
|
|
|
|
|
namespace Shimmie2;
|
|
|
|
|
|
2020-06-24 13:53:36 +00:00
|
|
|
/*
|
|
|
|
|
* A small number of PHP-sanity things (eg don't silently ignore errors) to
|
|
|
|
|
* be included right at the very start of index.php and tests/bootstrap.php
|
|
|
|
|
*/
|
|
|
|
|
|
2023-11-11 21:49:12 +00:00
|
|
|
function die_nicely($title, $body, $code = 0)
|
2020-07-06 16:46:20 +00:00
|
|
|
{
|
|
|
|
|
print("<!DOCTYPE html>
|
|
|
|
|
<html lang='en'>
|
|
|
|
|
<head>
|
|
|
|
|
<title>Shimmie</title>
|
|
|
|
|
<link rel=\"shortcut icon\" href=\"ext/static_files/static/favicon.ico\">
|
|
|
|
|
<link rel=\"stylesheet\" href=\"ext/static_files/style.css\" type=\"text/css\">
|
2023-08-18 16:12:38 +00:00
|
|
|
<link rel=\"stylesheet\" href=\"ext/static_files/installer.css\" type=\"text/css\">
|
2020-07-06 16:46:20 +00:00
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
<div id=\"installer\">
|
|
|
|
|
<h1>Shimmie</h1>
|
|
|
|
|
<h3>$title</h3>
|
|
|
|
|
<div class=\"container\">
|
|
|
|
|
$body
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</body>
|
|
|
|
|
</html>");
|
|
|
|
|
if ($code != 0) {
|
|
|
|
|
http_response_code(500);
|
|
|
|
|
}
|
|
|
|
|
exit($code);
|
|
|
|
|
}
|
|
|
|
|
|
2022-10-28 00:45:35 +00:00
|
|
|
$min_php = "8.1";
|
2020-06-24 13:53:36 +00:00
|
|
|
if (version_compare(phpversion(), $min_php, ">=") === false) {
|
2020-07-07 16:07:23 +00:00
|
|
|
die_nicely("Not Supported", "
|
2020-07-06 16:46:20 +00:00
|
|
|
Shimmie does not support versions of PHP lower than $min_php
|
|
|
|
|
(PHP reports that it is version ".phpversion().").
|
|
|
|
|
", 1);
|
2020-06-24 13:53:36 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
# ini_set('zend.assertions', '1'); // generate assertions
|
|
|
|
|
ini_set('assert.exception', '1'); // throw exceptions when failed
|
|
|
|
|
set_error_handler(function ($errNo, $errStr) {
|
|
|
|
|
// Should we turn ALL notices into errors? PHP allows a lot of
|
|
|
|
|
// terrible things to happen by default...
|
2020-10-25 19:31:58 +00:00
|
|
|
if (str_starts_with($errStr, 'Use of undefined constant ')) {
|
2023-01-11 11:15:26 +00:00
|
|
|
throw new \Exception("PHP Error#$errNo: $errStr");
|
2020-06-24 13:53:36 +00:00
|
|
|
} else {
|
|
|
|
|
return false;
|
|
|
|
|
}
|
|
|
|
|
});
|
|
|
|
|
|
|
|
|
|
ob_start();
|
|
|
|
|
|
|
|
|
|
if (PHP_SAPI === 'cli' || PHP_SAPI == 'phpdbg') {
|
|
|
|
|
if (isset($_SERVER['REMOTE_ADDR'])) {
|
|
|
|
|
die("CLI with remote addr? Confused, not taking the risk.");
|
|
|
|
|
}
|
|
|
|
|
$_SERVER['REMOTE_ADDR'] = "0.0.0.0";
|
2020-10-24 12:46:49 +00:00
|
|
|
$_SERVER['HTTP_HOST'] = "cli-command";
|
2020-06-24 13:53:36 +00:00
|
|
|
}
|
