Index: wp-admin/admin-header.php
===================================================================
--- wp-admin/admin-header.php	(revision 25093)
+++ wp-admin/admin-header.php	(working copy)
@@ -50,12 +50,12 @@
 ?>
 <script type="text/javascript">
 addLoadEvent = function(func){if(typeof jQuery!="undefined")jQuery(document).ready(func);else if(typeof wpOnload!='function'){wpOnload=func;}else{var oldonload=wpOnload;wpOnload=function(){oldonload();func();}}};
-var ajaxurl = '<?php echo admin_url( 'admin-ajax.php', 'relative' ); ?>',
-	pagenow = '<?php echo $current_screen->id; ?>',
-	typenow = '<?php echo $current_screen->post_type; ?>',
-	adminpage = '<?php echo $admin_body_class; ?>',
-	thousandsSeparator = '<?php echo addslashes( $wp_locale->number_format['thousands_sep'] ); ?>',
-	decimalPoint = '<?php echo addslashes( $wp_locale->number_format['decimal_point'] ); ?>',
+var ajaxurl = <?php echo json_encode( admin_url( 'admin-ajax.php', 'relative' ) ) ?>,
+	pagenow = <?php echo json_encode( $current_screen->id ); ?>,
+	typenow = <?php echo json_encode( $current_screen->post_type ); ?>,
+	adminpage = <?php echo json_encode( $admin_body_class ); ?>,
+	thousandsSeparator = <?php echo json_encode( addslashes( $wp_locale->number_format['thousands_sep'] ) ); ?>,
+	decimalPoint = <?php echo json_encode( addslashes( $wp_locale->number_format['decimal_point'] ) ); ?>,
 	isRtl = <?php echo (int) is_rtl(); ?>;
 </script>
 <?php