diff options
Diffstat (limited to 'src/usr/local/www/guiconfig.inc')
| -rw-r--r-- | src/usr/local/www/guiconfig.inc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/usr/local/www/guiconfig.inc b/src/usr/local/www/guiconfig.inc index 578364b..53d82ec 100644 --- a/src/usr/local/www/guiconfig.inc +++ b/src/usr/local/www/guiconfig.inc @@ -817,7 +817,7 @@ function display_widget_tabs(& $tab_array) { function outputJavaScriptFileInline($javascript) { if (file_exists($javascript)) { echo "\n<script type=\"text/javascript\">\n"; - include($javascript); + include_once($javascript); echo "\n</script>\n"; } else { echo "\n\n<!-- Could not locate file: {$javascript} -->\n\n"; @@ -829,7 +829,7 @@ function outputJavaScriptFileInline($javascript) { function outputCSSPrintFileInline($css) { if (file_exists($css)) { echo "\n<style media=\"print\" type=\"text/css\">\n"; - include($css); + include_once($css); echo "\n</style>\n"; } else { echo "\n\n<!-- Could not locate file: {$css} -->\n\n"; @@ -840,7 +840,7 @@ function outputCSSPrintFileInline($css) { function outputCSSFileInline($css) { if (file_exists($css)) { echo "\n<style type=\"text/css\">\n"; - include($css); + include_once($css); echo "\n</style>\n"; } else { echo "\n\n<!-- Could not locate file: {$css} -->\n\n"; |
