diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2020-04-03 16:49:11 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-04-03 17:59:30 +0200 |
commit | 2bcc4ab8f4422f319b509b8fd5bd251d9326c604 (patch) | |
tree | 689f8ba253cc8b4b43454ce70270e0cd0ae69e40 /ext/xml/xml.stub.php | |
parent | d2c92d7fd326b011b509b6daedee5f4e035fcae1 (diff) | |
download | php-git-2bcc4ab8f4422f319b509b8fd5bd251d9326c604.tar.gz |
Verify that all stubs have a return type
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 {} |