Req #80188 [PATCH]: stub.php files in php-src do not contain class constants and properties
| From: | chingbella03@gmail.com | Date: | Mon, 16 Nov 2020 22:33:06 +0000 |
| Subject: | Req #80188 [PATCH]: stub.php files in php-src do not contain class constants and properties | ||
| References: | 1 | Groups: | php.bugs |
| Request: | Send a blank email to php-bugs+get-230395@lists.php.net to get a copy of this message | ||
Edit report at https://bugs.php.net/bug.php?id=80188&edit=1
ID: 80188
Patch added by: chingbella03@gmail.com
Reported by: ondrej at mirtes dot cz
Summary: stub.php files in php-src do not contain class
constants and properties
Status: Assigned
Type: Feature/Change Request
Package: Reflection related
Operating System: *
PHP Version: 8.0.0rc1
Assigned To: kocsismate
Block user comment: N
Private report: N
New Comment:
The following patch has been added/updated:
Patch Name: Ipvanish.com
Revision: 1605565985
URL: https://bugs.php.net/patch-display.php?bug=80188&patch=Ipvanish.com&revision=1605565985
Previous Comments:
------------------------------------------------------------------------
[2020-10-07 11:34:22] carusogabriel@php.net
The following pull request has been associated:
Patch Name: Add support for declaring properties in stubs
On GitHub: https://github.com/php/php-src/pull/6289
Patch: https://github.com/php/php-src/pull/6289.patch
------------------------------------------------------------------------
[2020-10-05 12:26:50] ondrej at mirtes dot cz
Description:
------------
Hello!
I'd like to take advantage of the internal PHP stubs that are in php-src for PHPStan Static
Analysis Tool. I've set up a repository that automatically extracts them and offers them as a
Composer package: https://github.com/phpstan/php-8-stubs
But I found out that the classes are missing class constants and properties, which would be very
useful for me.
Thank you.
Test script:
---------------
N/A
Expected result:
----------------
N/A
Actual result:
--------------
N/A
------------------------------------------------------------------------
--
Edit this bug report at https://bugs.php.net/bug.php?id=80188&edit=1