Extension:AudioPlayer2/fr

Manuel des extensions MediaWiki

AudioPlayer2 État de la version : stable
Implémentation	Marque
Description	Provides embedded audio playback using WordPress Audio Player Standalone.
Auteur(s)	Ulrich Christensen (UChristensentalk)
Dernière version	1.1 (2012-07-05)
MediaWiki	1.19+
Licence	Licence publique générale GNU v2.0 ou ultérieur
Téléchargement	https://github.com/ubcudvikler/AudioPlayer2
Exemple	http://www.horsensleksikon.dk/
Paramètres $wgAudioPlayerPluginPath, $wgAudioPlayer2Settings
Accroches utilisées ParserFirstCallInit ParserAfterTidy OutputPageParserOutput
Traduisez l’extension AudioPlayer2 sur translatewiki.net
Vérifiez la matrice des utilisations et des versions.

The AudioPlayer2 extension lets you embed MP3 audio files on your wiki via WordPress Audio Player Standalone.

Installation

• Assurez-vous que le logiciel requis est installé avant de continuer!
• Téléchargez et placez le(s) fichiers (s) dans un répertoire appelé AudioPlayer2 dans votre dossier extensions/.

• Ajoutez le code suivant à la fin de votre fichier LocalSettings.php :

  wfLoadExtension( 'AudioPlayer2' );
  

• Configurez au besoin. (voir aussi les exemples fournis)
•  Fait – Accédez à Special:Version sur votre wiki pour vérifier que l'extension a bien été installée.

Pour les utilisateurs de MediaWiki 1.24 ou précédents :

Les instructions ci-dessus décrivent la nouvelle procédure pour installer cette extension en utilisant wfLoadExtension(). Si vous avez besoin d'installer cette extension sur les précédentes versions de MediaWiki (1.24 ou antérieur), à la place de wfLoadExtension( 'AudioPlayer2' );, vous devez utiliser :

require_once "$IP/extensions/AudioPlayer2/AudioPlayer2.php";

Configuration parameters

$wgAudioPlayerPluginPath

Update 5/16/2018: This step is unclear and the external link is now broken.

Set the path to WordPress Audio Player Standalone files which must be installed separately for this extension to work.

$wgAudioPlayer2Settings['width']

If set, specifies the width of the Flash player when opened. (default width: 380)

Example:

$wgAudioPlayer2Settings['width'] = 380;

$wgAudioPlayer2Settings['tags']

If set, specifies the list of tags that this extension should handle, otherwise "player" is used. This setting is for interoperability and easy drop-in replacement.

Example:

$wgAudioPlayer2Settings['tags'] = array('player','audioplayer');

$wgAudioPlayer2Settings['colours']

If set, specifies the colours of the different parts of the player.

Example:

$wgAudioPlayer2Settings['colours']['leftbg'] = '00F80F';

Usage

The <player> (or whichever you choose) tag can be used to embed MP3 audio content into wiki pages:

<player>test.mp3</player>

Tag attributes

The following attributes can be used in <player> tags:

title

sets/overwrites the title of the file being played. If not specified, ID3 data if available is used.

artist

set/overwrites the artist name for the file being played. If not specified, ID3 data if available is used.

<player title="Title">test.mp3</player>

<player artist="Artist" title="Title">test.mp3</player>