Merge request from robmyers upping the PHP version dependency

Source: https://gitorious.org/statusnet/gnu-social/merge_requests/16

diff --git a/INSTALL b/INSTALL
index b695b25cea0d10f8f3101a9a9507cf1233edf519..57888e008fbf94d7b60f81f545b9a5cea672812e 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -4,7 +4,7 @@ Prerequisites
 The following software packages are *required* for this software to
 run correctly.
 
-- PHP 5.3.2+    For newer versions, some functions that are used may be
+- PHP 5.4+      For newer versions, some functions that are used may be
                 disabled by default, such as the pcntl_* family. See the
                 section on 'Queues and daemons' for more information.
 - MariaDB 5.x   GNU Social uses, by default, a MariaDB server for data