Skip to content

Update phpdoc completion script options#290

Merged
jordikroon merged 1 commit into
php:masterfrom
jordikroon:fix/phpdoc-completion
May 12, 2026
Merged

Update phpdoc completion script options#290
jordikroon merged 1 commit into
php:masterfrom
jordikroon:fix/phpdoc-completion

Conversation

@jordikroon
Copy link
Copy Markdown
Member

This removes outdated options such as #285, adds the currently supported ones, and keeps the completion list aligned with the source of truth.

@jordikroon jordikroon requested a review from kamil-tekiela May 12, 2026 17:07
@jordikroon jordikroon merged commit 9be9fbb into php:master May 12, 2026
10 of 12 checks passed
@jordikroon jordikroon deleted the fix/phpdoc-completion branch May 12, 2026 18:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants