mediapluginmp3 = get_string( 'mediapluginmp3','admin' ); $txt->mediapluginswf = get_string( 'mediapluginswf','admin' ); $txt->mediapluginmov = get_string( 'mediapluginmov','admin' ); $txt->mediapluginwmv = get_string( 'mediapluginwmv','admin' ); $txt->mediapluginmpg = get_string( 'mediapluginmpg','admin' ); $txt->mediapluginavi = get_string( 'mediapluginavi','admin' ); $yesno = array( 'no', 'yes' ); ?>

mediapluginmp3 ?>	filter_mediaplugin_enable_mp3 ); ?>
mediapluginswf?>	filter_mediaplugin_enable_swf ); ?>
mediapluginmov ?>	filter_mediaplugin_enable_mov ); ?>
mediapluginwmv ?>	filter_mediaplugin_enable_wmv ); ?>
mediapluginmpg ?>	filter_mediaplugin_enable_mpg ); ?>
mediapluginavi ?>	filter_mediaplugin_enable_avi ); ?>