--- /dev/null
+<?php
+ // $Id$
+
+function plc_show_options($array) {
+ print '<div id="container">';
+ print '<ul id="miniflex">';
+ foreach ($array as $name=>$url) {
+ print "<li class='minitab'><a href=\"" . $url . "\"title=\"\">" . $name . "</a></li>\n";
+ }
+ print '</ul>';
+ print '</div>';
+ print "\n";
+ print "<br/>\n";
+}
+
+?>
drupal_set_title('Nodes');
-?>
-
-<div id="container">
- <ul id="miniflex">
- <li class='minitab'><a href="/db/nodes/index.php" title="">Old page</a></li>
- <li class='minitab'><a href="/db/about.php" title="">About</a></li>
- <li class='minitab'><a href="/planetlab/logout.php" title="">Log out</a></li>
- <li class='minitab'><a href="http://www.google.com/" title="">Google</a></li>
- <li class='minitab'><a href="/undefined/" title="">Other stuff</a></li>
- </ul>
-</div>
-
-
-<!------------------------------------------------------------>
-<?php
+require_once 'plc_minitab.php';
+$minitab=array("Old page"=>"/db/nodes/index.php",
+ "About"=>"/db/about.php",
+ "Logout"=>"/planetlab/logout.php",
+ "And other buttons"=>"http://www.google.com",
+ "For demo purposes"=>"/undefined");
+plc_show_options($minitab);
+// --------------------
$peer_filter=array();
// fetch nodes - use nodepattern for server-side filtering
<br/>
Hold down the shift key to select multiple columns to sort
</p>
-