Ubuntu 16.04 only supports php7.0

(cherry picked from commit 1cdd533)

Author: myungwoo

config/nginx.conf.sample

@@ -1,5 +1,5 @@
 # This config requires the following Ubuntu packages to be installed:
-# nginx-full php5-cgi php5-fpm phppgadmin
+# nginx-full php7.0-cgi php7.0-fpm phppgadmin
 
 user www-data;
 
@@ -83,7 +83,7 @@ http {
         ssl_certificate_key /etc/nginx/ssl/server.key;
 
         # Serve phppgadmin on a prefix. This assumes that you have the
-        # phppgadmin and php5-fpm packages properly installed and
+        # phppgadmin and php7.0-fpm packages properly installed and
         # configured.
         location /phppgadmin/ {
             alias /usr/share/phppgadmin/;
@@ -104,7 +104,7 @@ http {
             try_files $uri $uri/ =404;
 
             location ~ \.php$ {
-                fastcgi_pass unix:/var/run/php5-fpm.sock;
+                fastcgi_pass unix:/var/run/php/php7.0-fpm.sock;
                 fastcgi_index index.php;
                 include fastcgi_params;
             }

docs/Installation.rst

@@ -65,7 +65,7 @@ On Ubuntu 16.04, one will need to run the following script to satisfy all depend
          libffi-dev python-pip
 
     # Optional
-    sudo apt-get install nginx-full php7.0-cli php5-fpm phppgadmin \
+    sudo apt-get install nginx-full php7.0-cli php7.0-fpm phppgadmin \
          texlive-latex-base a2ps gcj-jdk haskell-platform
 
 Arch Linux