fgregg

#!/usr/bin/env python
# -*- coding: utf-8 -*-

import os
import csv
import tempfile
import time
import logging
import optparse
import itertools

cmbaughman

  Element.prototype._addEventListener = Element.prototype.addEventListener;
  Element.prototype.addEventListener = function(a,b,c) {
    if(c==undefined)
      c=false;
    this._addEventListener(a,b,c);
    if(!this.eventListenerList)
      this.eventListenerList = {};
    if(!this.eventListenerList[a])

mnmldave

/**
 * Enables a 'reverse' option for wp_nav_menu to reverse the order of menu 
 * items. Usage:
 *
 *   wp_nav_menu(array('reverse' => TRUE, ...));
 */
function my_reverse_nav_menu($menu, $args) {
  if (isset($args->reverse) && $args->reverse) {
    return array_reverse($menu);
  }