stub.php

<?php

require("src/DevTools/ConsoleScript.php");
__HALT_COMPILER();