php-session: include php71 and php72

diff --git a/php-session.sh b/php-session.sh
index c9bf37c638a04e9c175afc597526f295adcb8cba..474c299d477bdd0fe2c7ce3972b58b9ed9f3fedc 100755 (executable)
--- a/php-session.sh
+++ b/php-session.sh
@@ -23,7 +23,7 @@ cleanup_dir() {
 find_gc_time() {
        gc_time=0
        local gc php
-       for php in php php4 php52 php53 php54 php55 php56 php70; do
+       for php in php php4 php52 php53 php54 php55 php56 php70 php71 php72; do
                gc=
                if [ -x /usr/bin/$php ]; then
                        gc=$($php -r 'echo max(round(ini_get("session.gc_maxlifetime")/3600), 1);' 2> /dev/null)