Extension:AudioPlayer2

MediaWiki 拡張機能マニュアル

AudioPlayer2 リリースの状態: 保守されていない
実装	タグ
説明	Provides embedded audio playback using WordPress Audio Player Standalone.
作者	Ulrich Christensen (UChristensenトーク)
最新バージョン	1.1 (2012-07-05)
MediaWiki	1.19+
ライセンス	GNU 一般公衆利用許諾書 2.0 以降
ダウンロード	GitHub: プロジェクトのページ git リポジトリの URL [ヘルプ ] コミット履歴 注: 地域化の更新は translatewiki.net からは提供されません。
例	http://www.horsensleksikon.dk/
パラメーター $wgAudioPlayerPluginPath, $wgAudioPlayer2Settings
使用するフック ParserFirstCallInit ParserAfterTidy OutputPageParserOutput
使用状況とバージョン マトリクスを確認してください。

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

インストール

• Make sure that the required software is installed before you continue!
• ダウンロードして、ファイルを extensions/ フォルダー内の AudioPlayer2 という名前のディレクトリ内に配置します。
• 以下のコードを LocalSettings.php の末尾に追加します:

  wfLoadExtension( 'AudioPlayer2' );
  

• Configure as required. (see also the examples provided)
•  完了 – ウィキの「Special:Version」に移動して、拡張機能が正しくインストールされたことを確認します。

MediaWiki 1.24 以前を稼働させている利用者へ:

上記の手順では、wfLoadExtension() を使用してこの拡張機能をインストールする新しい方法を記載しています。 この拡張機能をこれらの過去のバージョン (MediaWiki 1.24 以前) にインストールする必要がある場合は、wfLoadExtension( 'AudioPlayer2' ); の代わりに以下を使用する必要があります:

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

Configuration

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. (既定の幅: 380)

例:

$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.

例:

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

$wgAudioPlayer2Settings['colours']

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

例:

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

使用法

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

<player>test.mp3</player>

タグの属性

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="タイトル">test.mp3</player>

<player artist="アーティスト名" title="タイトル">test.mp3</player>