diff options
| -rwxr-xr-x | usr/local/www/guiconfig.inc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/usr/local/www/guiconfig.inc b/usr/local/www/guiconfig.inc index c822b32..76678b2 100755 --- a/usr/local/www/guiconfig.inc +++ b/usr/local/www/guiconfig.inc @@ -849,6 +849,14 @@ function echo_array($array,$return_me=false){ }
}
+/****f* pfsense-utils/display_top_tabs
+ * NAME
+ * display_top_tabs - display tabs with rounded edges
+ * INPUTS
+ * $text - array of tabs
+ * RESULT
+ * null
+ ******/
function display_top_tabs(& $tab_array) {
global $HTTP_SERVER_VARS;
global $config;
|
