Commit Graph

1 Commits

Author SHA1 Message Date
Bruce Weirdan
5128529ca9
Rename stubs from *.php to *.phpstub
This hides them from PHPStorm, preventing false positives it used to
emit.
2020-04-05 20:49:25 +03:00