pecl-event-stubs
pecl-event-stubs copied to clipboard
Merging into JetBrains stubs repo
Hi, First of all, thank you for this repo, it's really helpful! What do you think about merging this repo to https://github.com/JetBrains/phpstorm-stubs/pulls?
@kaduev13: I will be more than happy to do that - I even created ticket on JetBrains YT: https://youtrack.jetbrains.com/issue/WI-34067#tab=Linked%20Issues which got closed along with other one. Since I've seen almost nothing gets merged I never bothered opening PR there ;)