validate_file_to_edit( string $file, string[] $allowed_files = array() ): string|null

740function validate_file_to_edit( $file, $allowed_files = array() ) {741	$code = validate_file( $file, $allowed_files );742 743	if ( ! $code ) {744		return $file;745	}746 747	switch ( $code ) {748		case 1:749			wp_die( __( 'Sorry, that file cannot be edited.' ) );750 751			// case 2 :752			// wp_die( __('Sorry, cannot call files with their real path.' ));753 754		case 3:755			wp_die( __( 'Sorry, that file cannot be edited.' ) );756	}757	return null;758}