This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

Nicolas Grekas 365d02be77 Replace STDIN by php://stdin		2019-10-17 14:23:42 +02:00
..
LintCommand.php	Replace STDIN by php://stdin	2019-10-17 14:23:42 +02:00