PHP view

<html>
<style>
table { margin: 30px 20px;}
</style>
<?php
echo "<h3>PHP server</h3> Put any PHP script in scripts/ to parse it.";
$files=scandir("./scripts");
echo "<table><caption>FILES</caption>";
foreach ($files as $f) {
    if(preg_match("/.+\.php/",$f)) { echo "<tr><td><a href='/".$f."'>".$f."</a></td></tr>"; }
}
echo "</table>";

echo "php.ini: ".php_ini_loaded_file()."<br>";
rebuild_sql();
function rebuild_sql() {
    $sql=new SQLite3("sqlite.db"); //create DB in web/node/home
    $sql->query("drop table users");
    //do some tests:
    $sql->exec("create table users (
        id integer primary key,
        name char[50] not null,
        pass char[50] not null,
        contents char[200]
    )");
    $sql->exec("insert into users(id,name,pass,contents) values (12,'Test','xvzf','- Secret content -')");
    $sql->exec("insert into users(id,name,pass) values (23,'Rudolf','horse1')");
    $sql->exec("insert into users(id,name,pass) values (20,'Louis','strongarm')");
    #print_r($sql->query("select * from users")->fetchArray());
}


echo "<table><caption>EXTENSIONS</caption>";
echo "<tr><td> pgSQL: ".(extension_loaded("pgsql")?"OK":"NO")." </td></tr>";
echo "<tr><td> PDO: ".(extension_loaded("pdo")?"OK":"NO")." </td></tr>";
echo "<tr><td> SQLite 3: ".(extension_loaded("sqlite3")?"OK":"NO")." </td></tr>";
echo "</table>";

$indicesServer = array('PHP_SELF',
'argv',
'argc',
'GATEWAY_INTERFACE',
'SERVER_ADDR',
'SERVER_NAME',
'SERVER_SOFTWARE',
'SERVER_PROTOCOL',
'REQUEST_METHOD',
'REQUEST_TIME',
'REQUEST_TIME_FLOAT',
'QUERY_STRING',
'DOCUMENT_ROOT',
'HTTP_ACCEPT',
'HTTP_ACCEPT_CHARSET',
'HTTP_ACCEPT_ENCODING',
'HTTP_ACCEPT_LANGUAGE',
'HTTP_CONNECTION',
'HTTP_HOST',
'HTTP_REFERER',
'HTTP_USER_AGENT',
'HTTPS',
'REMOTE_ADDR',
'REMOTE_HOST',
'REMOTE_PORT',
'REMOTE_USER',
'REDIRECT_REMOTE_USER',
'SCRIPT_FILENAME',
'SERVER_ADMIN',
'SERVER_PORT',
'SERVER_SIGNATURE',
'PATH_TRANSLATED',
'SCRIPT_NAME',
'REQUEST_URI',
'PHP_AUTH_DIGEST',
'PHP_AUTH_USER',
'PHP_AUTH_PW',
'AUTH_TYPE',
'PATH_INFO',
'ORIG_PATH_INFO') ;

echo '<table><caption>SERVER</caption>' ;
foreach ($indicesServer as $arg) {
    if (isset($_SERVER[$arg])) {
        echo '<tr><td>'.$arg.'</td><td>' . $_SERVER[$arg] . '</td></tr>' ;
    }
    else {
        #echo '<tr><td>'.$arg.'</td><td>-</td></tr>' ;
    }
}
echo '</table>' ;
 ?>
</html>