Skip to content

cleanup: remove psalm#995

Merged
deer-wmde merged 3 commits into
mainfrom
de/lint
Nov 11, 2025
Merged

cleanup: remove psalm#995
deer-wmde merged 3 commits into
mainfrom
de/lint

Conversation

@deer-wmde
Copy link
Copy Markdown
Contributor

@deer-wmde deer-wmde commented Nov 7, 2025

  • in Add code linting using Laravel Pint #940 we introduced linting via Laravel Pint
  • we already had a linting conf with psalm
    • I think we never bothered much with its configuration?
  • this PR would remove psalm
    • if this is not wanted, feel free to close

@deer-wmde deer-wmde changed the title remove psalm cleanup: remove psalm Nov 7, 2025
/**
* @return (SettingWikibaseManifestEquivEntities|string)[][]
*
* @psalm-return array{wgDefaultSkin: array{0: 'required', 1: 'string', 2: 'in:vector,modern,timeless'}, wwExtEnableConfirmAccount: array{0: 'required', 1: 'boolean'}, wwExtEnableWikibaseLexeme: array{0: 'required', 1: 'boolean'}, wwWikibaseStringLengthString: array{0: 'required', 1: 'integer', 2: 'between:400,2500'}, wwWikibaseStringLengthMonolingualText: array{0: 'required', 1: 'integer', 2: 'between:400,2500'}, wwWikibaseStringLengthMultilang: array{0: 'required', 1: 'integer', 2: 'between:250,2500'}, wikibaseFedPropsEnable: array{0: 'required', 1: 'boolean'}, wikibaseManifestEquivEntities: array{0: 'required', 1: 'json', 2: SettingWikibaseManifestEquivEntities}, wwUseQuestyCaptcha: array{0: 'required, 1: 'boolean}, wwCaptchaQuestions: array:{0: 'required', 1: 'json', 2: SettingCaptchaQuestions}}
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.

this is the only thing I feel is a bit sad to lose but I think retaining it isn't worth it

@deer-wmde deer-wmde merged commit bde070d into main Nov 11, 2025
5 checks passed
@deer-wmde deer-wmde deleted the de/lint branch November 11, 2025 08:50
deer-wmde added a commit that referenced this pull request Dec 15, 2025
* remove psalm

* composer update

* remove Makefile changes
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