docs/users/alt_to_audio.inc.php

   1 <legend><strong><?php echo _AT("alt_to_audio"); ?></strong> </legend>
   2 <div id="feedback" style="width:90%;">
   3 <?php echo _AT('prefs_set_audio'); ?>
   4 </div>
   5     <div class="row">
   6         <?php echo _AT('use_alt_to_audio'); ?><br />
   7         <?php
   8             $yes = $no  = '';
   9
  10             if (isset($_POST["use_alternative_to_audio"]))
  11                 $selected_uaa = $_POST["use_alternative_to_audio"];
  12             else
  13                 $selected_uaa = $_SESSION['prefs']['PREF_USE_ALTERNATIVE_TO_AUDIO'];
  14
  15             if ($selected_uaa == 1) {
  16                 $yes = ' checked="checked"';
  17             } else {
  18                 $no  = ' checked="checked"';
  19             }
  20 ?>
  21         <input type="radio" name="use_alternative_to_audio" id="uaa_yes" value="1" <?php echo $yes; ?> /><label for="uaa_yes"><?php echo _AT('yes'); ?></label>
  22         <input type="radio" name="use_alternative_to_audio" id="uaa_no" value="0" <?php echo $no; ?> /><label for="uaa_no"><?php echo _AT('no'); ?></label>
  23     </div>
  24
  25     <div class="row">
  26         <label for="preferred_alt_to_audio"><?php echo _AT('prefer_alt'); ?></label><br />
  27             <select name="preferred_alt_to_audio" id="preferred_alt_to_audio"><?php
  28                 if (isset($_POST['preferred_alt_to_audio']))
  29                     $selected_lang = $_POST['preferred_alt_to_audio'];
  30                 else
  31                     $selected_lang = $_SESSION['prefs']['PREF_ALT_TO_AUDIO'];
  32 ?>
  33                 <option value="text" <?php if ($selected_lang == "text") echo 'selected="selected"'; ?>><?php echo _AT('text'); ?></option>
  34                 <option value="visual" <?php if ($selected_lang == "visual") echo 'selected="selected"'; ?>><?php echo _AT('visual'); ?></option>
  35                 <option value="sign_lang" <?php if ($selected_lang == "sign_lang") echo 'selected="selected"'; ?>><?php echo _AT('sign_lang'); ?></option>
  36             </select>
  37     </div>
  38
  39     <div class="row">
  40         <?php echo _AT('append_or_replace'); ?><br />
  41         <?php
  42             $append = $replace = '';
  43
  44             if (isset($_POST["alt_to_audio_append_or_replace"]))
  45                 $selected_aa = $_POST["alt_to_audio_append_or_replace"];
  46             else
  47                 $selected_aa = $_SESSION['prefs']['PREF_ALT_TO_AUDIO_APPEND_OR_REPLACE'];
  48
  49             if ($selected_aa == "replace") {
  50                 $replace = ' checked="checked"';
  51             } else {
  52                 $append  = ' checked="checked"';
  53             }
  54 ?>
  55         <input type="radio" name="alt_to_audio_append_or_replace" id="aa_append" value="append" <?php echo $append; ?> /><label for="aa_append"><?php echo _AT('append'); ?></label>
  56         <input type="radio" name="alt_to_audio_append_or_replace" id="aa_replace" value="replace" <?php echo $replace; ?> /><label for="aa_replace"><?php echo _AT('replace'); ?></label>
  57     </div>
  58
  59     <div class="row">
  60         <label for="alt_audio_prefer_lang"><?php echo _AT('prefer_lang'); ?></label><br />
  61             <select name="alt_audio_prefer_lang" id="alt_audio_prefer_lang"><?php
  62                 if (isset($_POST['alt_audio_prefer_lang']))
  63                     $selected_lang = $_POST['alt_audio_prefer_lang'];
  64                 else
  65                     $selected_lang = $_SESSION['prefs']['PREF_ALT_AUDIO_PREFER_LANG'];
  66
  67                 output_language_options($this->languages, $selected_lang);
  68 ?>
  69             </select>
  70     </div>