Chore(deps-dev): Bump the tools_phplint-dependencies group in /tools/11_phplint with 1 update

[dependabot]

Bumps the tools_phplint-dependencies group in /tools/11_phplint with 1 update: overtrue/phplint.

Updates overtrue/phplint from 9.0.6 to 9.1.0

Release notes

Sourced from overtrue/phplint's releases.

9.1.0 - 2023-12-17

Added

• PHPStan dev tool to enforce code quality of this project (see Contributor guide)
• Introduces a DebugFormatterHelper for asynchronous process
• Introduces a ProcessHelper for asynchronous process
• Introduces a new extension (ProgressIndicator) to let users know that the phplint command isn't stalled. Uses --progress=indicator.

Changed

• Replaces Symfony components constraint to new LTS (6.4), and drop support to old one (5.4)
• ProgressPrinter and ProgressBar extensions must now implement the Overtrue\PHPLint\Output\ConsoleOutputInterface specification
• Reorganize dev tools under their own composer namespace (check-style begins style:check, and fix-style begins style:fix)
• #197 : Faster process linter
• rename BOX config file to box.json.dist
• Dockerfile bump default PHP version from 8.2 to 8.3 (to produce better perf)

Removed

• drop support of PHPUnit 9
• drop support of PHP 8.0
• setApplicationVersion and setConfigResolver methods were removed from Overtrue\PHPLint\Output\ConsoleOutputInterface as there are no more required

Full Changelog: 9.0.6...9.1.0

Changelog

Sourced from overtrue/phplint's changelog.

9.1.0 - 2023-12-17

Added

• PHPStan dev tool to enforce code quality of this project (see Contributor guide)
• Introduces a DebugFormatterHelper for asynchronous process
• Introduces a ProcessHelper for asynchronous process
• Introduces a new extension (ProgressIndicator) to let users know that the phplint command isn't stalled. Uses --progress=indicator.

Changed

• Replaces Symfony components constraint to new LTS (6.4), and drop support to old one (5.4)
• ProgressPrinter and ProgressBar extensions must now implement the Overtrue\PHPLint\Output\ConsoleOutputInterface specification
• Reorganize dev tools under their own composer namespace (check-style begins style:check, and fix-style begins style:fix)
• #197 : Faster process linter
• rename BOX config file to box.json.dist
• Dockerfile bump default PHP version from 8.2 to 8.3 (to produce better perf)

Removed

• drop support of PHPUnit 9
• drop support of PHP 8.0
• setApplicationVersion and setConfigResolver methods were removed from Overtrue\PHPLint\Output\ConsoleOutputInterface as there are no more required

Full Changelog: 9.0.6...9.1.0

Commits

• 6537f69 prepare feature release 9.1.0
• 02227bb minor updates on GitHub Action example into documentation
• df60b62 fix feature #199
• eaa6ca0 update Architecture doc
• d57404d Dockerfile bump default PHP version from 8.2 to 8.3
• e0733ab renamed BOX config file
• 4dde551 reduce PHAR size by 3.7 (from 2.39 Mb to 634 Kb)
• ea51861 revert partially on commit 5d94994647d123d30e684cfb2cf23b1c808a6032 to allows...
• e576546 update jetbrains/phpstorm-stubs requirement to v2023.3
• 1d47e87 update phpdoc blocks
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
• @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
• @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
• @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
• @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions

[dependabot]

Looks like overtrue/phplint is up-to-date now, so this is no longer needed.