From 6e39cef802f28257d36a400e445df36a52d2079e Mon Sep 17 00:00:00 2001
From: Guillaume Desmottes <guillaume.desmottes@collabora.co.uk>
Date: Tue, 19 Jul 2016 14:36:25 +0200
Subject: player: add API to change http user agent

Introducing a new 'config' API similar to GstBufferPoolConfig.

https://bugzilla.gnome.org/show_bug.cgi?id=765314
---
 docs/libs/gst-plugins-bad-libs-sections.txt | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'docs')

diff --git a/docs/libs/gst-plugins-bad-libs-sections.txt b/docs/libs/gst-plugins-bad-libs-sections.txt
index fdcdf2ed5..8e519361e 100644
--- a/docs/libs/gst-plugins-bad-libs-sections.txt
+++ b/docs/libs/gst-plugins-bad-libs-sections.txt
@@ -1705,6 +1705,9 @@ gst_player_get_mute
 
 gst_player_get_pipeline
 
+gst_player_set_config
+gst_player_get_config
+
 gst_player_set_position_update_interval
 gst_player_get_position_update_interval
 
@@ -1763,6 +1766,10 @@ GstPlayerSignalDispatcherInterface
 GstPlayerVideoRenderer
 GstPlayerVideoRendererInterface
 
+<SUBSECTION config>
+gst_player_config_set_user_agent
+gst_player_config_get_user_agent
+
 <SUBSECTION Standard>
 GST_IS_PLAYER
 GST_IS_PLAYER_CLASS
-- 
cgit v1.2.1