htmlpurifier/tests/HTMLPurifier/SimpleTest/Reporter.php

<?php

class HTMLPurifier_SimpleTest_Reporter extends HTMLReporter
{
    
    function paintHeader($test_name) {
        parent::paintHeader($test_name);
        $test_file = $GLOBALS['HTMLPurifierTest']['File'];
?>
<form action="" method="get" id="select">
    <select name="f">
        <option value="" style="font-weight:bold;"<?php if(!$test_file) {echo ' selected';} ?>>All Tests</option>
        <?php foreach($GLOBALS['HTMLPurifierTest']['Files'] as $file) { ?>
            <option value="<?php echo $file ?>"<?php
                if ($test_file == $file) echo ' selected';
            ?>><?php echo $file ?></option>
        <?php } ?>
    </select>
    <input type="submit" value="Go">
</form>
<?php
        flush();
    }
    
    function _getCss() {
        $css = parent::_getCss();
        $css .= '
        #select {position:absolute;top:0.2em;right:0.2em;}
        ';
        return $css;
    }
    
}