--- a/wp/wp-admin/includes/edit-tag-messages.php	Tue Oct 22 16:11:46 2019 +0200
+++ b/wp/wp-admin/includes/edit-tag-messages.php	Tue Dec 15 13:49:49 2020 +0100
@@ -49,7 +49,8 @@
 $messages = apply_filters( 'term_updated_messages', $messages );
 
 $message = false;
-if ( isset( $_REQUEST['message'] ) && ( $msg = (int) $_REQUEST['message'] ) ) {
+if ( isset( $_REQUEST['message'] ) && (int) $_REQUEST['message'] ) {
+	$msg = (int) $_REQUEST['message'];
 	if ( isset( $messages[ $taxonomy ][ $msg ] ) ) {
 		$message = $messages[ $taxonomy ][ $msg ];
 	} elseif ( ! isset( $messages[ $taxonomy ] ) && isset( $messages['_item'][ $msg ] ) ) {