/**
* 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();
?>
