function riginput($rig, $rigname) { $rigname = rigname($rig, $rigname); return "<input type=button value='{$rigname}' onclick='pr(\"&rig={$rig}\",null)'>"; }
function riginput($rig, $rigname, $usebuttons) { $rigname = rigname($rig, $rigname); if ($usebuttons === true) { return "<input type=button value='{$rigname}' onclick='pr(\"&rig={$rig}\",null)'>"; } else { return "<a href='" . php_pr("&rig={$rig}") . "'>{$rigname}</a>"; } }