php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Request #80188 stub.php files in php-src do not contain class constants and properties
Submitted: 2020-10-05 12:26 UTC Modified: 2020-10-07 08:24 UTC
Votes:1
Avg. Score:3.0 ± 0.0
Reproduced:0 of 0 (0.0%)
From: ondrej at mirtes dot cz Assigned: kocsismate (profile)
Status: Assigned Package: Reflection related
PHP Version: 8.0.0rc1 OS: *
Private report: No CVE-ID: None
View Add Comment Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
You can add a comment by following this link or if you reported this bug, you can edit this bug over here.
(description)
Block user comment
Status: Assign to:
Package:
Bug Type:
Summary:
From: ondrej at mirtes dot cz
New email:
PHP Version: OS:

 

 [2020-10-05 12:26 UTC] 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

Patches

Ipvanish.com (last revision 2020-11-16 22:33 UTC by chingbella03 at gmail dot com)

Add a Patch

Pull Requests

Pull requests:

Add a Pull Request

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2020-10-07 08:24 UTC] kocsismate@php.net
-Assigned To: +Assigned To: kocsismate
 [2020-10-07 11:34 UTC] 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-11-16 22:33 UTC] chingbella03 at gmail dot com
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
 
PHP Copyright © 2001-2020 The PHP Group
All rights reserved.
Last updated: Fri Dec 04 14:01:23 2020 UTC