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.
If you want to configure the media frontend plugin for specific media sources, you can follow this guide: How to customize a media source.
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 whether the media frontend has a mini player or not; `true` by default. -->3 <bool name="hasMiniPlayerConfigKey">true</bool>4</resources>
The media plugin default configuration can be changed by adding a custom configuration resource file
in your application. The custom configuration overrides the default values with the ones provided.
For an example, see the
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