Searched refs:keys_menubox (Results 1 - 2 of 2) sorted by relevance

/vbox/src/VBox/Devices/PC/ipxe/contrib/rom-o-matic/
H A Ddirections.php24 Choose an output format: <?php echo keys_menubox ( "ofmt", $ofmts,
29 Choose a NIC type: <?php echo keys_menubox ( "nic", $nics,
H A Dutils.php279 function keys_menubox ( $name, $options, $value ) function

Completed in 133 milliseconds