[packages/php-dirs] php-session: include php71 and php72

[glen]

commit 17007ec1643fdffdfad384a52c947cd878ede156
Author: Elan Ruusamäe <glen at pld-linux.org>
Date:   Sat Apr 14 16:16:39 2018 +0300

    php-session: include php71 and php72

 php-session.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/php-session.sh b/php-session.sh
index c9bf37c..474c299 100755
--- 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)
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/php-dirs.git/commitdiff/17007ec1643fdffdfad384a52c947cd878ede156