File chromium-prop-codecs.patch of Package chromium.5824

reverted:
--- b/media/BUILD.gn
+++ a/media/BUILD.gn
@@ -11,7 +11,6 @@
 import("//media/media_options.gni")
 import("//testing/libfuzzer/fuzzer_test.gni")
 import("//testing/test.gni")
-import("//third_party/ffmpeg/ffmpeg_options.gni")
 
 buildflag_header("media_features") {
   header = "media_features.h"
@@ -23,12 +22,6 @@
   ]
 }
 
-if (proprietary_codecs && media_use_ffmpeg) {
-  assert(
-      ffmpeg_branding != "Chromium",
-      "proprietary codecs and ffmpeg_branding set to Chromium are incompatible")
-}
-
 # Common configuration for targets in the media directory.
 # NOT for exporting.
 config("media_config") {