--- a/wp/wp-admin/edit.php	Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-admin/edit.php	Tue Sep 27 16:37:53 2022 +0200
@@ -154,7 +154,7 @@
 			}
 			$sendback = add_query_arg( 'untrashed', $untrashed, $sendback );
 
-			remove_filter( 'wp_untrash_post_status', 'wp_untrash_post_set_previous_status', 10, 3 );
+			remove_filter( 'wp_untrash_post_status', 'wp_untrash_post_set_previous_status', 10 );
 
 			break;
 		case 'delete':
@@ -232,6 +232,7 @@
 	wp_enqueue_style( 'wp-list-reusable-blocks' );
 }
 
+// Used in the HTML title tag.
 $title = $post_type_object->labels->name;
 
 if ( 'post' === $post_type ) {