A PHP shell script.