Tools - refine support for custom binaries and tools installed with phar#234

Merged

zdenekdrahos merged 7 commits into

custom-binary-phar

May 13, 2021

Commits on May 13, 2021

Custom binary - don't define internal class for tool with one version
zdenekdrahos
committed
Custom binary - highlight and unify code that escapes path for binary
zdenekdrahos
committed
Custom binary - silently skip invalid custom binary
zdenekdrahos
committed
Custom binary - tool is executable if binary exists
zdenekdrahos
committed
Custom binary - cleanup building binary
zdenekdrahos
committed
Custom binary - fix using non-executable custom binary
zdenekdrahos
committed
Custom binary - add basic info about phars and running both phpmetrics versions
zdenekdrahos
committed