Skip to content

Add stub for options interface#294

Merged
ondrejmirtes merged 3 commits intophpstan:1.2.xfrom
alexander-schranz:feature/options-stub
Jul 19, 2022
Merged

Add stub for options interface#294
ondrejmirtes merged 3 commits intophpstan:1.2.xfrom
alexander-schranz:feature/options-stub

Commits

Commits on Jul 19, 2022