Index: wp-admin/js/post.js
===================================================================
--- wp-admin/js/post.js	(revision 23983)
+++ wp-admin/js/post.js	(working copy)
@@ -472,11 +472,12 @@
 			} else {
 				$('#timestamp').html(
 					publishOn + ' <b>' +
-					$('option[value="' + $('#mm').val() + '"]', '#mm').text() + ' ' +
-					jj + ', ' +
-					aa + ' @ ' +
-					hh + ':' +
-					mn + '</b> '
+					postL10n.dateFormat.replace( '%1$s', $('option[value="' + $('#mm').val() + '"]', '#mm').text() + ' ' )
+						.replace( '%2$s', jj )
+						.replace( '%3$s', aa )
+						.replace( '%4$s', hh )
+						.replace( '%5$s', mn )
+					+ '</b> '
 				);
 			}
 
Index: wp-includes/script-loader.php
===================================================================
--- wp-includes/script-loader.php	(revision 23983)
+++ wp-includes/script-loader.php	(working copy)
@@ -392,6 +392,8 @@
 			'publishOn' => __('Publish on:'),
 			'publishOnFuture' =>  __('Schedule for:'),
 			'publishOnPast' => __('Published on:'),
+			/* translators: 1: month input, 2: day input, 3: year input, 4: hour input, 5: minute input */
+			'dateFormat' => __('%1$s%2$s, %3$s @ %4$s : %5$s'),
 			'showcomm' => __('Show more comments'),
 			'endcomm' => __('No more comments found.'),
 			'publish' => __('Publish'),