VLCMediaLibraryManager: MediaLibraryObserver: Add media delete

SharedSources/VLCMediaLibraryManager.swift

@@ -28,6 +28,9 @@ extension NSNotification {
                       didAddVideos videos: [VLCMLMedia])
 
     @objc optional func medialibrary(_ medialibrary: VLCMediaLibraryManager,
+                                     didDeleteMediaWithIds ids: [NSNumber])
+
+    @objc optional func medialibrary(_ medialibrary: VLCMediaLibraryManager,
                                      didAddShowEpisodes showEpisodes: [VLCMLMedia])
 
     // Audio
@@ -181,6 +184,12 @@ extension VLCMediaLibraryManager: VLCMediaLibraryDelegate {
         }
     }
 
+    func medialibrary(_ medialibrary: VLCMediaLibrary, didDeleteMediaWithIds mediaIds: [NSNumber]) {
+        for observer in observers {
+            observer.value.observer?.medialibrary?(self, didDeleteMediaWithIds: mediaIds)
+        }
+    }
+
     func medialibrary(_ medialibrary: VLCMediaLibrary, didAdd artists: [VLCMLArtist]) {
         for observer in observers {
             observer.value.observer?.medialibrary?(self, didAddArtists: artists)