Apply patch: Refer to php-* named packages rather than php5-*

Bug-Ubuntu: https://launchpad.net/bugs/1544352

1 files changed, 2 insertions, 3 deletions

diff --git a/arcanist/scripts/arcanist.php b/arcanist/scripts/arcanist.php
index dc2f07b..6261c67 100755
--- a/arcanist/scripts/arcanist.php
+++ b/arcanist/scripts/arcanist.php
@@ -470,9 +470,8 @@ function sanity_check_environment() {
     $need_functions = array(
       'curl_init'     => array(
         'text',
-        "You need to install the cURL PHP extension, maybe with ".
-        "'apt-get install php5-curl' or 'yum install php53-curl' or ".
-        "something similar.",
+        "You need to install the cURL PHP extension, with ".
+        "'apt-get install php-curl'.",
       ),
       'json_decode'   => array('flag', '--without-json'),
     );