/** * Set whether to include jQuery library or not * * @see ProfilerRenderer::$includeJquery * @param bool $inc true if {@link ProfilerRenderer} should include jQuery, or false if it's already available */ public static function setIncludeJquery($inc = true) { self::$includeJquery = $inc; }
</div><!-- /#profiler-results --> <div id="profiler-query-results" class="profiler-result profiler-result-queries profiler-hidden"> <table border="0" cell-padding="0" cellspacing="0"> <?php foreach (self::$topNodes as $node) { ProfilerRenderer::renderNodeSQL($node); } ?> </table> </div><!-- /#profiler-query-results --> </div><!-- /#profiler-results-container --> </div> <?php if (ProfilerRenderer::includeJquery()) { ?> <script src="<?php echo ProfilerRenderer::getJqueryLocation(); ?> " type="text/javascript" charset="utf-8"></script> <?php } ?> <?php if (ProfilerRenderer::includePrettify()) { ?> <script src="<?php echo ProfilerRenderer::getPrettifyLocation(); ?>