Editing: PhpElement.php