Editing: ExtensionElement.php