diff options
Diffstat (limited to '11.patch')
| -rw-r--r-- | 11.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/11.patch b/11.patch new file mode 100644 index 0000000..cd2833d --- /dev/null +++ b/11.patch @@ -0,0 +1,22 @@ +From 9ae15ac27d8618ee7d402b47b0c239b6c41c45d9 Mon Sep 17 00:00:00 2001 +From: Remi Collet <remi@remirepo.net> +Date: Thu, 28 Nov 2019 15:51:00 +0100 +Subject: [PATCH] fix phplint warning + +--- + XML/Util.php | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/XML/Util.php b/XML/Util.php +index 2a008d3..df37e07 100644 +--- a/XML/Util.php ++++ b/XML/Util.php +@@ -918,7 +918,7 @@ public static function splitQualifiedName($qname, $defaultNs = null) + public static function isValidName($string) + { + // check for invalid chars +- if (!preg_match('/^[[:alpha:]_]\\z/', $string{0})) { ++ if (!preg_match('/^[[:alpha:]_]\\z/', $string[0])) { + return XML_Util::raiseError( + 'XML names may only start with letter or underscore', + XML_UTIL_ERROR_INVALID_START |