Input format not recognized in splash-page

Changed the title of this issue because it is not just for the php filter. The check_markup function has an additional parameter with the following description (important part is in bold):

$check Whether to check the $format with filter_access() first. Defaults to TRUE. Note that this will check the permissions of the current user, so you should specify $check = FALSE when viewing other people's content. When showing content that is not (yet) stored in the database (eg. upon preview), set to TRUE so the user's permissions are checked.

The following bit of code needs to change in splash.module from

function splash_page() {
	$splash_what = variable_get('splash_what', array());
	
	$output = check_markup($splash_what['content'], $splash_what['format']);
	
  if ($splash_what['mode'] == 'fullscreen') {
	  echo $output;
	  exit;
	  
  } else {
	  return $output;
  }
}

to

function splash_page() {
	$splash_what = variable_get('splash_what', array());
	
	$output = check_markup($splash_what['content'], $splash_what['format'], FALSE);
	
  if ($splash_what['mode'] == 'fullscreen') {
	  echo $output;
	  exit;
	  
  } else {
	  return $output;
  }
}

Looks like this was already fixed but never released. Can you confirm that it works in 6.x-2.4?