Add hotkeys.js to all pages that list comments and prevent error if not loaded, see #7643

git-svn-id: https://develop.svn.wordpress.org/trunk@8780 602fd350-edb4-49c9-b593-d223f7449a82

wp-admin/edit-pages.php

@@ -66,8 +66,10 @@ $query_str = "post_type=page&orderby=menu_order title&what_to_show=posts$post_st
 $query_str = apply_filters('manage_pages_query', $query_str);
 wp($query_str);
 
-if ( is_singular() )
+if ( is_singular() ) {
 	wp_enqueue_script( 'admin-comments' );
+	wp_enqueue_script( 'jquery-table-hotkeys' );
+}
 
 require_once('admin-header.php');