Comments (5)
Open a PHP bug report about that, or tell @kocsismate directly :)
from php-8-stubs.
Are you sure it is a PHP bug?
The documentation clearly mentions that the $stub
parameter must be a string.
But the stub in this project expects it to be a resource.
My code works just fine, but PHPStan reports a false positive because of the wrong type in the stub.
from php-8-stubs.
This repo is extracted from PHP sources themselves. https://github.com/php/php-src/blob/4945bc2609a6983f0fd6d726fa7a33e42b4ebc55/ext/phar/phar_object.stub.php#L136-L140
from php-8-stubs.
Acknowledged, thanks for the quick replies 👍
from php-8-stubs.
This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.
from php-8-stubs.
Related Issues (7)
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from php-8-stubs.