Console commands in PHP