Skip to content

Instantly share code, notes, and snippets.

<?php
//Fix homepage pagination
if ( get_query_var('paged') ) {
$paged = get_query_var('paged');
} else if ( get_query_var('page') ) {
$paged = get_query_var('page');
} else {
$paged = 1;
}
#!/usr/bin/env bash
# Use with bash 4.0+
#==========================================================================================
# Original Script from Clemens Lang, neverpanic.de
# https://neverpanic.de/blog/2014/03/19/downloading-google-web-fonts-for-local-hosting/
# Modified by Chris Jung, campino2k.de
# * Rename Files to be compatible with Windows File System (remove spaces and colon)
# * Add "local()" to src like Google does to skip downloading if System has font installed
module.exports = function(grunt) {
// Project configuration.
grunt.initConfig({
pkg: grunt.file.readJSON('package.json'),
banner:
'/*! <%= pkg.name %>.js v<%= pkg.version %>\n' +
' * http://<%= pkg.name %>.com/\n' +
' *\n' +
' * <%= pkg.description %>\n' +
@rutger1140
rutger1140 / placeholder.js
Last active September 25, 2015 12:27 — forked from mrcgrtz/placeholder.js
Adds HTML5 placeholders when they are not supported by your browser. Uses jQuery.
/**
* HTML5 Placeholders for old browsers
* by Rutger Laurman
*
* Adds HTML5 placeholders to non-supported browsers with jQuery
* Fork from Marc Görtz
*/
var HTML5Placeholders;
HTML5Placeholders = {