Editing: TypedMapInterface.php