diff options
Diffstat (limited to '11.patch')
| -rw-r--r-- | 11.patch | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/11.patch b/11.patch deleted file mode 100644 index cd2833d..0000000 --- a/11.patch +++ /dev/null @@ -1,22 +0,0 @@ -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 |