diff -r 346c88efed21 -r 5e2f62d02dcd wp/wp-admin/customize.php
--- a/wp/wp-admin/customize.php Mon Jun 08 16:11:51 2015 +0000
+++ b/wp/wp-admin/customize.php Tue Jun 09 03:35:32 2015 +0200
@@ -1,6 +1,6 @@
theme()->display('Name') ) ) );
-?>
is_theme_active() ) {
+ $document_title_tmpl = _x( 'Customize: %s', 'Placeholder is the document title from the preview' );
+} else {
+ $document_title_tmpl = _x( 'Live Preview: %s', 'Placeholder is the document title from the preview' );
+}
+$document_title_tmpl = html_entity_decode( $document_title_tmpl, ENT_QUOTES, 'UTF-8' ); // because exported to JS and assigned to document.title
+$admin_title = sprintf( $document_title_tmpl, __( 'Loading…' ) );
+?>
+
+
+
+">