Update PhpEngine.php

just a minor phpdoc fix