An optimizer for PHP code
