From 15eb851b5098cee63365adef292fdb6390e80f1c Mon Sep 17 00:00:00 2001
From: Tugdual Saunier <tugdual.saunier@gmail.com>
Date: Thu, 4 Feb 2016 14:16:24 +0100
Subject: [PATCH] Fix priorities handling in php-helper

---
 php-helper | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/php-helper b/php-helper
index 4f9f3fc..3c3ad28 100644
--- a/php-helper
+++ b/php-helper
@@ -123,7 +123,7 @@ get_priority() {
     module_exists "$version" "$modname" || module_ret=$?
 
     if [ "$module_ret" -eq 0 ]; then
-	priority=$(sed -ne "s/^; ?priority=\([0-9]\+\)$/\\1/p" "$source_ini")
+	priority=$(sed -ne "s/^; \?priority=\([0-9]\+\)$/\\1/p" "$source_ini")
 	[ -z "$priority" ] && priority=20
 	echo "$priority"
 	return 0