Display magic comment options in Settings panel#113

alies-dev wants to merge 1 commit intopsalm:masterpsalm/psalm.dev:masterfrom

alies-dev:document-magic-commentsalies-dev/psalm.dev:document-magic-commentsCopy head branch name to clipboard