Skip to content

Replace phpstan with php script to load phpstan.phar #4389

@mvorisek

Description

@mvorisek

Feature request

Files phpstan and phpstan.phar are the same, git can deduplicate then, but saving them requires 2x ~20 MB which requires unneeded disk space and iops.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions