?>
					<tr>
						<th class="category">
							<label for="platform"><?php 
    echo lang_get('platform');
    ?>
</label>
						</th>
						<td>
							<?php 
    if (config_get('allow_freetext_in_profile_fields') == OFF) {
        ?>
							<select id="platform" name="platform">
								<option value=""></option>
								<?php 
        print_platform_option_list($f_platform);
        ?>
							</select>
							<?php 
    } else {
        echo '<input type="text" id="platform" name="platform" class="autocomplete" size="32" maxlength="32" tabindex="' . helper_get_tab_index_value() . '" value="' . string_attribute($f_platform) . '" />';
    }
    ?>
						</td>
					</tr>
					<tr>
						<th class="category">
							<label for="os"><?php 
    echo lang_get('os');
    ?>
</label>

    echo '<td colspan="', $t_spacer, '">&#160;</td>';
    echo '</tr>';
}
#
# Platform, OS, OS Version
#
if ($t_show_platform || $t_show_os || $t_show_os_version) {
    echo '<tr>';
    $t_spacer = 0;
    if ($t_show_platform) {
        # Platform
        echo '<th class="category"><label for="platform">' . lang_get('platform') . '</label></th>';
        echo '<td>';
        if (config_get('allow_freetext_in_profile_fields') == OFF) {
            echo '<select ' . helper_get_tab_index() . ' id="platform" name="platform"><option value=""></option>';
            print_platform_option_list($t_bug->platform);
            echo '</select>';
        } else {
            echo '<input type="text" id="platform" name="platform" class="autocomplete" size="16" maxlength="32" tabindex="' . helper_get_tab_index_value() . '" value="' . string_attribute($t_bug->platform) . '" />';
        }
        echo '</td>';
    } else {
        $t_spacer += 2;
    }
    if ($t_show_os) {
        # Operating System
        echo '<th class="category"><label for="os">' . lang_get('os') . '</label></th>';
        echo '<td>';
        if (config_get('allow_freetext_in_profile_fields') == OFF) {
            echo '<select ' . helper_get_tab_index() . ' id="os" name="os"><option value=""></option>';
            print_os_option_list($t_bug->os);

/**
 * print the platform field
 * @return void
 */
function print_filter_platform()
{
    global $g_select_modifier, $g_filter;
    ?>
		<!-- Platform -->
		<select<?php 
    echo $g_select_modifier;
    ?>
 name="<?php 
    echo FILTER_PROPERTY_PLATFORM;
    ?>
[]">
			<option value="<?php 
    echo META_FILTER_ANY;
    ?>
"<?php 
    check_selected($g_filter[FILTER_PROPERTY_PLATFORM], (string) META_FILTER_ANY);
    ?>
>[<?php 
    echo lang_get('any');
    ?>
]</option>
			<?php 
    log_event(LOG_FILTERING, 'Platform = ' . var_export($g_filter[FILTER_PROPERTY_PLATFORM], true));
    print_platform_option_list($g_filter[FILTER_PROPERTY_PLATFORM]);
    ?>
		</select>
		<?php 
}

function print_filter_platform()
{
    global $t_select_modifier, $t_filter;
    ?>
		<!-- Platform -->
		<select <?php 
    echo $t_select_modifier;
    ?>
 name="platform[]">
			<option value="<?php 
    echo META_FILTER_ANY;
    ?>
" <?php 
    check_selected($t_filter['platform'], META_FILTER_ANY);
    ?>
>[<?php 
    echo lang_get('any');
    ?>
]</option>
			<?php 
    log_event(LOG_FILTERING, 'Platform = ' . var_export($t_filter['platform'], true));
    print_platform_option_list($t_filter['platform']);
    ?>
		</select>
		<?php 
}