daniel 420f222266 Make Shell::makeScriptCommand use run.php ... This makes makeScriptCommand wrap all callers in run.php Change-Id: If041beb6d4b6b3555e0c200a3d5088a94c198349		2023-07-25 01:35:59 +00:00
..
bin
CommandTest.php
ShellTest.php	Make Shell::makeScriptCommand use run.php	2023-07-25 01:35:59 +00:00