Configure the Media Plugins
The off-the-shelf media plugin comes with default configuration. This configuration provides a default behavior, such as showing a mini player when music is playing. This configuration is based on the configuration-framework. and can be changed if necessary. This guide explains this procedure.
- The media plugin default configuration Default media plugin configuration
- Change the media plugin configuration Change the media plugin configuration
If you want to configure the media frontend plugin for specific media sources, you can follow this guide: how to customize a media course.
The media plugin default configuration is defined as a resource file that contains configuration keys and their values. The following keys and values are defined in the media plugin:
1<resources>2 <!-- Indicates if the media frontend has a mini player or not. By default it is set to true -->3 <bool name="hasMiniPlayerConfigKey" optional="true">true</bool>4</resources>
The media plugin default configuration can be changed by adding a custom configuration resource file
in your application, such as
The custom configuration overrides the default values with the one provided.
When audio is playing, a mini player is shown on the home screen.
If you don't want to use the mini player provided with the off-the-shelf media plugin or you
want to implement your own frontend plugin for the mini player, you can configure it by setting the
<bool name="hasMiniPlayerConfigKey" optional="true">false</bool>