From 94fc06c9fcd6093505cd4a237dd5618f2fea562f Mon Sep 17 00:00:00 2001
From: levlam <levlam@telegram.org>
Date: Sat, 14 Nov 2020 22:12:48 +0300
Subject: [PATCH] Install php-cli instead of php on Debian/Ubuntu in build
 instructions as suggested by @Cavallium.

---
 build.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.html b/build.html
index ae6629c72..3027240a3 100644
--- a/build.html
+++ b/build.html
@@ -645,9 +645,9 @@ function onOptionsChanged() {
         commands.push(sudo + 'apt-get upgrade');
         var packages = 'make git zlib1g-dev libssl-dev gperf';
         if (linux_distro === 'Ubuntu 14' || linux_distro === 'Debian 8') {
-          packages += ' php5';
+          packages += ' php5-cli';
         } else {
-          packages += ' php';
+          packages += ' php-cli';
         }
         if (linux_distro === 'Ubuntu 14') {
           packages += ' cmake3';