Skip to content

fix more phpdoc tags, unknown_type => mixed#40

Merged
paulmhh merged 1 commit intomasterfrom
pu/pm/fixUnknownTypePhpDoc
Jul 1, 2025
Merged

fix more phpdoc tags, unknown_type => mixed#40
paulmhh merged 1 commit intomasterfrom
pu/pm/fixUnknownTypePhpDoc

Conversation

@paulmhh
Copy link
Contributor

@paulmhh paulmhh commented Jul 1, 2025

No description provided.

@paulmhh paulmhh merged commit b2b9ae1 into master Jul 1, 2025
3 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