5 <script type="text/javascript" src="/planetlab/minitabs/minitabs.js"></script>
6 <link href="/planetlab/minitabs/minitabs.css" rel="stylesheet" type="text/css" />
10 function plc_show_options($array) {
11 print '<div id="minitabs_container">';
12 print '<ul id="miniflex">';
13 foreach ($array as $name=>$url) {
14 print "<li class='minitabs'><a href=\"" . $url . "\"title=\"\">" . $name . "</a></li>\n";