ILIAS
Release_4_0_x_branch Revision 61816
|
User interface for media player. More...
Public Member Functions | |
__construct () | |
setFile ($a_file) | |
Set File. | |
getFile () | |
Get File. | |
setDisplayHeight ($dHeight) | |
set display height | |
getDisplayHeight () | |
return display height of player. | |
setMimeType ($value) | |
getMp3PlayerHtml () | |
Get Html for MP3 Player. |
Data Fields | |
$file | |
$displayHeight | |
$mimeType |
Static Public Attributes | |
static | $nr = 1 |
User interface for media player.
Wraps flash mp3 player and similar tools.
Definition at line 32 of file class.ilMediaPlayerGUI.php.
ilMediaPlayerGUI::__construct | ( | ) |
Definition at line 39 of file class.ilMediaPlayerGUI.php.
ilMediaPlayerGUI::getDisplayHeight | ( | ) |
return display height of player.
Definition at line 77 of file class.ilMediaPlayerGUI.php.
References $displayHeight.
ilMediaPlayerGUI::getFile | ( | ) |
Get File.
Definition at line 58 of file class.ilMediaPlayerGUI.php.
References $file.
Referenced by getMp3PlayerHtml().
ilMediaPlayerGUI::getMp3PlayerHtml | ( | ) |
Get Html for MP3 Player.
Definition at line 89 of file class.ilMediaPlayerGUI.php.
References $mimeType, $tpl, getFile(), and ilObjMediaObject\getMimeType().
ilMediaPlayerGUI::setDisplayHeight | ( | $dHeight | ) |
set display height
int | $dHeight |
Definition at line 68 of file class.ilMediaPlayerGUI.php.
ilMediaPlayerGUI::setFile | ( | $a_file | ) |
Set File.
string | $a_file | File |
Definition at line 48 of file class.ilMediaPlayerGUI.php.
ilMediaPlayerGUI::setMimeType | ( | $value | ) |
Definition at line 82 of file class.ilMediaPlayerGUI.php.
ilMediaPlayerGUI::$displayHeight |
Definition at line 35 of file class.ilMediaPlayerGUI.php.
Referenced by getDisplayHeight().
ilMediaPlayerGUI::$file |
Definition at line 34 of file class.ilMediaPlayerGUI.php.
Referenced by getFile().
ilMediaPlayerGUI::$mimeType |
Definition at line 36 of file class.ilMediaPlayerGUI.php.
Referenced by getMp3PlayerHtml().
|
static |
Definition at line 37 of file class.ilMediaPlayerGUI.php.