diff -r 346c88efed21 -r 5e2f62d02dcd wp/wp-includes/js/wp-list-revisions.js
--- a/wp/wp-includes/js/wp-list-revisions.js	Mon Jun 08 16:11:51 2015 +0000
+++ b/wp/wp-includes/js/wp-list-revisions.js	Tue Jun 09 03:35:32 2015 +0200
@@ -14,9 +14,9 @@
 				else if ( 'left' == side || 'right' == side )
 					inputs[i].style.visibility = 'visible';
 			}
-		}
+		};
 		pr.onclick();
-	}
+	};
 	if ( w && w.addEventListener )
 		w.addEventListener('load', init, false);
 	else if ( w && w.attachEvent )