[gnome-build-meta/abderrahim/fdsdk-master: 7/10] flatpak/{sdk, platform}: sync with freedesktop-sdk

[Abderrahim Kitouni <akitouni src gnome org>]

commit 38c85275ac418856a84232cbfae05a8c3cf0e287
Author: Abderrahim Kitouni <akitouni gnome org>
Date:   Sun May 5 18:52:41 2019 +0100

    flatpak/{sdk,platform}: sync with freedesktop-sdk

 elements/flatpak/platform.bst | 13 +++++++------
 elements/flatpak/sdk.bst      | 15 ++++++++-------
 2 files changed, 15 insertions(+), 13 deletions(-)
---
diff --git a/elements/flatpak/platform.bst b/elements/flatpak/platform.bst
index 62704708..08e35989 100644
--- a/elements/flatpak/platform.bst
+++ b/elements/flatpak/platform.bst
@@ -27,7 +27,8 @@ config:
     # When syncing, skip the Locale extension, and add the freedesktop-sdk
     # version to extensions that don't have a version
     Extension org.freedesktop.Platform.GL:
-      versions: "18.08;1.4"
+      # 1.4 is for Nvidia drivers
+      versions: "19.08;1.4"
       version: "1.4"
       directory: "%{lib}/GL"
       subdirectories: "true"
@@ -40,12 +41,12 @@ config:
 
     Extension org.freedesktop.Platform.Timezones:
       directory: share/zoneinfo
-      version: 18.08
+      version: 19.08
 
     Extension org.freedesktop.Platform.GStreamer:
       directory: lib/extensions/gstreamer-1.0
       subdirectories: 'true'
-      version: 18.08
+      version: 19.08
 
     Extension org.freedesktop.Platform.Icontheme:
       directory: share/runtime/share/icons
@@ -66,10 +67,10 @@ config:
       autodelete: 'false'
       no-autodownload: 'true'
       download-if: have-intel-gpu
-      version: 18.08
+      version: 19.08
 
-    Extension org.freedesktop.Platform.html5-codecs:
+    Extension org.freedesktop.Platform.ffmpeg-html5:
       directory: '%{lib}/ffmpeg'
       add-ld-path: lib
       autodelete: 'false'
-      version: 18.08
+      version: 19.08
diff --git a/elements/flatpak/sdk.bst b/elements/flatpak/sdk.bst
index 05e6f513..d694dec9 100644
--- a/elements/flatpak/sdk.bst
+++ b/elements/flatpak/sdk.bst
@@ -36,7 +36,8 @@ config:
     # add the freedesktop-sdk version to extensions that don't have
     # a version.
     Extension org.freedesktop.Platform.GL:
-      versions: "18.08;1.4"
+      # 1.4 is for Nvidia drivers
+      versions: "19.08;1.4"
       version: "1.4"
       directory: "%{lib}/GL"
       subdirectories: "true"
@@ -49,12 +50,12 @@ config:
 
     Extension org.freedesktop.Platform.Timezones:
       directory: share/zoneinfo
-      version: 18.08
+      version: 19.08
 
     Extension org.freedesktop.Platform.GStreamer:
       directory: lib/extensions/gstreamer-1.0
       subdirectories: 'true'
-      version: 18.08
+      version: 19.08
 
     Extension org.freedesktop.Platform.Icontheme:
       directory: share/runtime/share/icons
@@ -70,21 +71,21 @@ config:
       version: '3.22'
       download-if: active-gtk-theme
 
-    Extension org.freedesktop.Platform.html5-codecs:
+    Extension org.freedesktop.Platform.ffmpeg-html5:
       directory: '%{lib}/ffmpeg'
       add-ld-path: lib
-      version: 18.08
+      version: 19.08
 
     Extension org.freedesktop.Sdk.Extension:
       subdirectories: 'true'
       directory: lib/sdk
       no-autodownload: 'true'
       add-ld-path: lib
-      version: 18.08
+      version: 19.08
 
     Extension org.freedesktop.Platform.VAAPI.Intel:
       directory: '%{lib}/dri/intel-vaapi-driver'
       autodelete: 'false'
       no-autodownload: 'true'
       download-if: have-intel-gpu
-      version: 18.08
+      version: 19.08