[Bugfix] PHPDoc type-hint resource should not be used as PHP type-hint#1686
Merged
TomasVotruba merged 1 commit intorectorphp:masterfrom Jul 4, 2019
Merged
[Bugfix] PHPDoc type-hint resource should not be used as PHP type-hint#1686TomasVotruba merged 1 commit intorectorphp:masterfrom
resource should not be used as PHP type-hint#1686TomasVotruba merged 1 commit intorectorphp:masterfrom
