A command dispatcher for PHP