wp_get_note_mentioned_user_ids( string $content ): int[]

2607function wp_get_note_mentioned_user_ids( string $content ): array {2608	if ( ! str_contains( $content, 'wp-note-mention' ) ) {2609		return array();2610	}2611 2612	$user_ids  = array();2613	$processor = new WP_HTML_Tag_Processor( $content );2614	while (2615		$processor->next_tag(2616			array(2617				'tag_name'   => 'SPAN',2618				'class_name' => 'wp-note-mention',2619			)2620		)2621	) {2622		foreach ( $processor->class_list() as $class_name ) {2623			if ( 1 === preg_match( '/^user-(\d+)$/', $class_name, $matches ) ) {2624				$user_id = (int) $matches[1];2625				if ( $user_id > 0 ) {2626					$user_ids[] = $user_id;2627				}2628				break;2629			}2630		}2631	}2632 2633	return array_values( array_unique( $user_ids, SORT_NUMERIC ) );2634}