diff --git a/src/wp-admin/revision.php b/src/wp-admin/revision.php
index 96268eaaa4..62ac5bbda3 100644
--- a/src/wp-admin/revision.php
+++ b/src/wp-admin/revision.php
@@ -126,7 +126,7 @@ if ( ! empty( $redirect ) ) {
 }
 
 // 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';