diff options
Diffstat (limited to 'ext/xml/xml.stub.php')
-rw-r--r-- | ext/xml/xml.stub.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/xml/xml.stub.php b/ext/xml/xml.stub.php index 5f90d91fe4..b5af233761 100644 --- a/ext/xml/xml.stub.php +++ b/ext/xml/xml.stub.php @@ -4,7 +4,7 @@ function xml_parser_create(?string $encoding = null): XmlParser {} -function xml_parser_create_ns(?string $encoding = null, string $sep = ':'): XmlParser {} +function xml_parser_create_ns(?string $encoding = null, string $sep = ":"): XmlParser {} function xml_set_object(XmlParser $parser, object $obj): bool {} |