File: wp-admin/admin-header.php