wouter

Total activity 3
Last activity November 22, 2018 14:40
Member since November 22, 2018 13:02
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 1

Created November 22, 2018 14:40

I'll answer this one myself after some research. The stubs on https://github.com/JetBrains/phpstorm-stubs were not complete, I've added a pull request with new stubs.
- 1 vote