diff options
Diffstat (limited to 'usr/local/www/head.inc')
| -rwxr-xr-x | usr/local/www/head.inc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/usr/local/www/head.inc b/usr/local/www/head.inc index b6386f9..f8d0d2b 100755 --- a/usr/local/www/head.inc +++ b/usr/local/www/head.inc @@ -30,7 +30,11 @@ $pagetitle = gentitle( $pgtitle ); var theme = "<?php echo $g['theme']; ?>"; </script> <?php outputJavaScriptFileInline("themes/{$g['theme']}/loader.js"); ?> -<? +<?php + if($_GET['enablefirebuglite']) { + outputJavaScriptFileInline("javascript/pi.js"); + outputJavaScriptFileInline("javascript/firebug-lite.js"); + } /* * Find all javascript files that need to be included |
