This extends the built-in WordPress function get_the_ID() to return the post ID both inside and outside the loop.
<?php if ( function_exists( 'gt_hide_nav' ) && ! gt_hide_nav() ) : ?>
<nav role="navigation">
<?php if ( function_exists( 'bones_main_nav' ) ) bones_main_nav(); ?>
</nav>
| <?php | |
| // Based on <https://github.com/mecha-cms/extend.minify> | |
| define('MINIFY_STRING', '"(?:[^"\\\]|\\\.)*"|\'(?:[^\'\\\]|\\\.)*\''); | |
| define('MINIFY_COMMENT_CSS', '/\*[\s\S]*?\*/'); | |
| define('MINIFY_COMMENT_HTML', '<!\-{2}[\s\S]*?\-{2}>'); | |
| define('MINIFY_COMMENT_JS', '//[^\n]*'); | |
| define('MINIFY_PATTERN_JS', '/[^\n]+?/[gimuy]*'); | |
| define('MINIFY_HTML', '<[!/]?[a-zA-Z\d:.-]+[\s\S]*?>'); |
| /* | |
| * Inspired by: | |
| * http://designedbythomas.co.uk/blog/how-detect-width-web-browser-using-jquery | |
| * | |
| * This script is ideal for getting specific class depending on device width | |
| * for enhanced theming. Media queries are fine in most cases but sometimes | |
| * you want to target a specific JQuery call based on width. This will work | |
| * for that. Be sure to put it first in your script file. Note that you could | |
| * also target the body class instead of 'html' as well. | |
| * Modify as needed |