Editing: DatabaseNotificationCollection.php