switch to php-fpm 7.3

Also fixes indent.

diff --git a/docs/admin/Installation.md b/docs/admin/Installation.md
index 2d8936bdbbca2a2c2eff03fffe88ac1458d5be34..98cfe573c6018fb088b22726d566a7da38819dad 100644 (file)
--- a/docs/admin/Installation.md
+++ b/docs/admin/Installation.md
@@ -160,18 +160,18 @@ Tell nginx that php files are special and to fastcgi_pass to the php-fpm
 unix socket by adding the location definition to the default configuration.
 
     root /srv/nominatim/build/website;
-    index search.php index.html;
+    index search.php;
     location / {
-            try_files $uri $uri/ @php;
+        try_files $uri $uri/ @php;
     }
 
     location @php {
-            fastcgi_param SCRIPT_FILENAME "$document_root$uri.php";
-            fastcgi_param PATH_TRANSLATED "$document_root$uri.php";
-            fastcgi_param QUERY_STRING    $args;
-            fastcgi_pass unix:/var/run/php/php7.2-fpm.sock;
-            fastcgi_index index.php;
-            include fastcgi_params;
+        fastcgi_param SCRIPT_FILENAME "$document_root$uri.php";
+        fastcgi_param PATH_TRANSLATED "$document_root$uri.php";
+        fastcgi_param QUERY_STRING    $args;
+        fastcgi_pass unix:/var/run/php/php7.3-fpm.sock;
+        fastcgi_index index.php;
+        include fastcgi_params;
     }
 
     location ~ [^/]\.php(/|$) {
@@ -179,7 +179,7 @@ unix socket by adding the location definition to the default configuration.
         if (!-f $document_root$fastcgi_script_name) {
             return 404;
         }
-        fastcgi_pass unix:/var/run/php7.2-fpm.sock;
+        fastcgi_pass unix:/var/run/php7.3-fpm.sock;
         fastcgi_index search.php;
         include fastcgi.conf;
     }