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 0f6ed6b24c..60eeaaae33 100644 --- a/ext/xml/xml.stub.php +++ b/ext/xml/xml.stub.php @@ -54,4 +54,4 @@ function xml_parser_free(XmlParser $parser): bool {} function xml_parser_set_option(XmlParser $parser, int $option, $value): bool {} -function xml_parser_get_option(XmlParser $parser, int $option) {} +function xml_parser_get_option(XmlParser $parser, int $option): string|int|false {} |