[gnome-sdk-images/gnome-3-30] Rename the ffmpeg extension

[Jordan Petridis <jpetridis src gnome org>]

commit e2dde3af2877b99a91bcb5cae17f01a959a2e190
Author: Jordan Petridis <jordanpetridis protonmail com>
Date:   Sat Aug 18 01:28:23 2018 +0000

    Rename the ffmpeg extension
    
    The ffmpeg extension was moved to a more specific html5codec extension
    
    https://gitlab.com/freedesktop-sdk/freedesktop-sdk/issues/213
    
    (cherry picked from commit 4481962a5ae75b540c3740b1e7672d392933654b)

 org.gnome.Sdk.json.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/org.gnome.Sdk.json.in b/org.gnome.Sdk.json.in
index aff7f44..d6fcf97 100644
--- a/org.gnome.Sdk.json.in
+++ b/org.gnome.Sdk.json.in
@@ -14,7 +14,7 @@
         "org.freedesktop.Platform.GStreamer",
         "org.freedesktop.Platform.Icontheme",
         "org.freedesktop.Platform.VAAPI.Intel",
-        "org.freedesktop.Platform.ffmpeg",
+        "org.freedesktop.Platform.html5-codecs",
         "org.gtk.Gtk3theme"
     ],
     "inherit-sdk-extensions": [