Support "one-line" comments (starting with //)#202

Closed

rhertogh wants to merge 2 commits intophpstan:1.22.xfrom

rhertogh:support_one_line_comments

Commits on Jul 15, 2023

Support "one-line" comments (starting with //)
rhertogh
committed
Fixed coding standards and linting for 'support "one-line" comments' changes
rhertogh
committed