diff -r be944660c56a -r 3d72ae0968f4 wp/wp-admin/revision.php
--- a/wp/wp-admin/revision.php	Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-admin/revision.php	Tue Sep 27 16:37:53 2022 +0200
@@ -108,7 +108,8 @@
 		/* translators: %s: Post title. */
 		$h1             = sprintf( __( 'Compare Revisions of “%s”' ), $post_title );
 		$return_to_post = '<a href="' . $post_edit_link . '">' . __( '&larr; Go to editor' ) . '</a>';
-		$title          = __( 'Revisions' );
+		// Used in the HTML title tag.
+		$title = __( 'Revisions' );
 
 		$redirect = false;
 		break;
@@ -125,7 +126,7 @@
 }
 
 // This is so that the correct "Edit" menu item is selected.
-if ( ! empty( $post->post_type ) && 'post' != $post->post_type ) {
+if ( ! empty( $post->post_type ) && 'post' !== $post->post_type ) {
 	$parent_file = 'edit.php?post_type=' . $post->post_type;
 } else {
 	$parent_file = 'edit.php';