Skip to content

Remove php-standard-library/psalm-plugin - #178

Merged
asgrim merged 1 commit into
php:mainfrom
TimWolla:psalm-psl
Jan 28, 2025
Merged

Remove php-standard-library/psalm-plugin#178
asgrim merged 1 commit into
php:mainfrom
TimWolla:psalm-psl

Conversation

@TimWolla

Copy link
Copy Markdown
Member

The azjezz/psl dependency was removed in #42, making this dependency obsolete.

@andrew-demb

Copy link
Copy Markdown

You need to update psalm.xml.dist too

The `azjezz/psl` dependency was removed in php#42, making this dependency
obsolete.
@TimWolla

Copy link
Copy Markdown
MemberAuthor

You need to update psalm.xml.dist too

Thanks. I only searched for the full plugin name and didn't realize the namespace was different / the plugin was referenced by class-name.

@asgrim
asgrim self-requested a review January 28, 2025 20:13
@asgrimasgrim self-assigned this Jan 28, 2025
@asgrimasgrim added the enhancement New feature or request label Jan 28, 2025
@asgrimasgrim added this to the 0.6.0 milestone Jan 28, 2025

@asgrimasgrim left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@asgrim
asgrim merged commit 5cf53e8 into php:mainJan 28, 2025
@TimWolla
TimWolla deleted the psalm-psl branch January 28, 2025 21:16
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancementNew feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@TimWolla@andrew-demb@asgrim