- <?php if (defined('_DEBUG_USER_SWITCH')) { ?>
- <select id="userSwitch" onchange="userSwitch()">
- <?php
- foreach (array('admin', 'fox', 'test') as $u) {
- $op_sel = ($u == $_SESSION["name"]) ? "selected" : "";
- print "<option $op_sel>$u</option>";
- }
- ?>
- </select>
- <?php } ?>