diff -r 000000000000 -r d970ebf37754 wp/wp-admin/admin-header.php --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/wp/wp-admin/admin-header.php Wed Nov 06 03:21:17 2013 +0000 @@ -0,0 +1,234 @@ +site_name ) ); +elseif ( is_user_admin() ) + $admin_title = sprintf( __('Global Dashboard: %s'), esc_html( $current_site->site_name ) ); +else + $admin_title = get_bloginfo( 'name' ); + +if ( $admin_title == $title ) + $admin_title = sprintf( __( '%1$s — WordPress' ), $title ); +else + $admin_title = sprintf( __( '%1$s ‹ %2$s — WordPress' ), $title, $admin_title ); + +/** + * Filter the