ethitter

Index: domain_mapping.php
===================================================================
--- domain_mapping.php (revision 688919)
+++ domain_mapping.php	(working copy)
@@ -685,7 +685,7 @@
 }
 
 function redirect_to_mapped_domain() {
-	global $current_blog, $wpdb;
+	global $current_blog, $wpdb, $wp_customize;

Larceniii

Index: domain_mapping.php
===================================================================
--- domain_mapping.php  (revision 646767)
+++ domain_mapping.php	(working copy)
@@ -519,6 +519,10 @@
 }
 
 function domain_mapping_siteurl( $setting ) {
+	// Don't redirect customizer requests
+	if ( isset( $_SERVER['HTTP_REFERER'] ) && false !== strpos( $_SERVER['HTTP_REFERER'], 'wp-admin/customize.php' ) )

franz-josef-kaiser

<?php
defined( 'ABSPATH' ) OR exit;
/**
 * Plugin Name: Admin Menu Separator
 * Description: Adds a separator on whatver priority is needed.
 */

add_filter( 'parent_file', 'admin_menu_separator' );
function admin_menu_separator( $parent_file )
{

yaph

var list = [];
$('ul a').each(function(idx, item){
    list.push({
        href: $(item).attr('href'),
        text: item.textContent
    });
});
JSON.stringify(list, null, "  ");

endel

Number.prototype.pad = function(size) {
  var s = String(this);
  while (s.length < (size || 2)) {s = "0" + s;}
  return s;
}

(1).pad(3) // => "001"
(10).pad(3) // => "010"
(100).pad(3) // => "100"