Editing: SharedType.php