/** * Set whether to include the prettify library or not * * @see ProfilerRenderer::$includePrettify * @param bool $inc true if {@link ProfilerRenderer} should include the prettify library, false if it's already available */ public static function setIncludePrettify($inc = true) { self::$includePrettify = $inc; }
</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(); ?> /prettify.js" type="text/javascript" charset="utf-8"></script> <script src="<?php echo ProfilerRenderer::getPrettifyLocation(); ?> /lang-sql.js" type="text/javascript" charset="utf-8"></script> <?php } ?> <script type="text/javascript" charset="utf-8"> (function($) {