$value ) { if ( isset($value) ) { $newMonitor[$name] = $value; } } } $device_formats = array( "PAL"=>0, "NTSC"=>1, "SECAM"=>2, "AUTO"=>3, "FMT4"=>4, "FMT5"=>5, "FMT6"=>6, "FMT7"=>7 ); $device_channels = array(); for ( $i = 0; $i <= 15; $i++ ) $device_channels["$i"] = $i; $local_palettes = array( $SLANG['Grey']=>1, "RGB24"=>4, "RGB565"=>3, "RGB555"=>6, "YUV422"=>7, "YUYV"=>8, "YUV422P"=>13, "YUV420P"=>15 ); $remote_palettes = $file_palettes = array( $SLANG['8BitGrey']=>1, $SLANG['24BitColour']=>4 ); $orientations = array( $SLANG['Normal']=>'0', $SLANG['RotateRight']=>'90', $SLANG['Inverted']=>'180', $SLANG['RotateLeft']=>'270', $SLANG['FlippedHori']=>'hori', $SLANG['FlippedVert']=>'vert' ); xhtmlHeaders(__FILE__, $SLANG['Monitor']." - ".$monitor['Name'] ); ?>
$SLANG['Local'], 'Remote'=>$SLANG['Remote'], 'File'=>$SLANG['File'] ); ?> $SLANG['None'], '0' => $SLANG['Home'], '1' => $SLANG['Preset']." 1", ); ?>
checked="checked">
"; ?> checked="checked"/>
()
()
checked="checked">
 
checked="checked">
    
    
disabled="disabled"/>