Doc: sync from Wiki, generate HTML

Additions:
 - Installation/Download: how to get Shaarli
 - Community software: ShaarliOS app

Modifications:
 - Installation/Server requirements: PHP 5.4 EOL, PHP 7 announcements
 - Installation/Server configuration: improve Nginx security
 - Troubleshooting: PHP sessions on `free.fr`

Signed-off-by: VirtualTam <virtualtam@flibidi.net>

1 files changed, 7 insertions, 1 deletions

diff --git a/doc/Server-configuration.html b/doc/Server-configuration.html
index e4e383a3..3aa89722 100644
--- a/doc/Server-configuration.html
+++ b/doc/Server-configuration.html
@@ -36,6 +36,7 @@ code > span.er { color: #ff0000; font-weight: bold; }
 <li><a href="Home.html">Home</a></li>
 <li>Installation
 <ul>
+<li><a href="Download.html">Download</a></li>
 <li><a href="Server-requirements.html">Server requirements</a></li>
 <li><a href="Server-configuration.html">Server configuration</a></li>
 <li><a href="Shaarli-configuration.html">Shaarli configuration</a></li>
@@ -279,10 +280,15 @@ location ~ ~$ {
 }</code></pre>
 <pre class="nginx"><code># /etc/nginx/php.conf
 location ~ (index)\.php$ {
-    # proxy PHP requests to PHP-FPM
+    # filter and proxy PHP requests to PHP-FPM
     fastcgi_pass   unix:/var/run/php-fpm/php-fpm.sock;
     fastcgi_index  index.php;
     include        fastcgi.conf;
+}
+
+location ~ \.php$ {
+    # deny access to all other PHP scripts
+    deny all;
 }</code></pre>
 <pre class="nginx"><code># /etc/nginx/static_assets.conf
 location ~* \.(?:ico|css|js|gif|jpe?g|png)$ {