Skip to content

WI-74918 [phpstorm-stubs] Add ps extension stubs. - #1933

Merged
Ivan Fedorov (isfedorov) merged 1 commit into
JetBrains:masterfrom
isfedorov:ps_stubs
Aug 18, 2026
Merged

WI-74918 [phpstorm-stubs] Add ps extension stubs.#1933
Ivan Fedorov (isfedorov) merged 1 commit into
JetBrains:masterfrom
isfedorov:ps_stubs

Conversation

@isfedorov

Copy link
Copy Markdown
Contributor

No description provided.

@isfedorov
Ivan Fedorov (isfedorov) merged commit 2040118 into JetBrains:master Aug 18, 2026
2 checks passed
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.

1 participant