New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Better table phpdoc #818

Merged

mvorisek merged 1 commit into develop from table_better_phpdoc

Dec 29, 2020

Member

mvorisek commented Dec 29, 2020 •

edited

Loading

for projects with phpstan level 6+

see https://phpstan.org/r/a6268282-f664-49d0-ae5e-e3918f4aa436


          Better table phpdoc

e2a891c

mvorisek requested review from DarkSide666 and georgehristov

December 29, 2020 14:18

georgehristov approved these changes

View reviewed changes

mvorisek merged commit 258a70c into develop

mvorisek deleted the table_better_phpdoc branch

December 29, 2020 14:25

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet