Index: wp-admin/edit-page-form.php
===================================================================
--- wp-admin/edit-page-form.php	(revision 8484)
+++ wp-admin/edit-page-form.php	(working copy)
@@ -5,6 +5,7 @@
 $messages[2] = __('Custom field updated.');
 $messages[3] = __('Custom field deleted.');
 $messages[4] = __('Page updated.');
+$messages[5] = sprintf( __('Page restored to revision from %s'), wp_post_revision_title( $_GET['revision'], false ) );
 
 $notice = false;
 $notices[1] = __( 'There is an autosave of this page that is more recent than the version below.  <a href="%s">View the autosave</a>.' );