Update PHPDocFill.php