[gnome-sdk-images/alatiera/ffmpeg-rename] Rename the ffmpeg extension

[Jordan Petridis <jpetridis src gnome org>]

commit 4481962a5ae75b540c3740b1e7672d392933654b
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

 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 42c8973..0dc04a8 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": [