-
-
Notifications
You must be signed in to change notification settings - Fork 20
Regenerate the stubs to remove inaccessible symbols #62
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Regenerate the stubs to remove inaccessible symbols #62
Conversation
Roughly 4% decrease in the size of the stub file. |
not much unfortunately, but better than nothing I guess :) |
Decision! It makes viktor go crazy!!! |
|
MERGE IT! |
Please add Line 14 in 0352649
|
Thank you. CI misses this part of the generator script. Lines 39 to 72 in 0352649
|
All right. I add it myself ... |
This doesn't need to be merged (unless you want to). I updated the stubs generator and regenerated the stubs after php-stubs/generator#15 . This PR shows which symbols have been removed.