/**
* A special page listing redirects to non existent page. Those should be
* fixed to point to an existing page.
/**
* A special page listing redirects to non existent page. Those should be
* fixed to point to an existing page.
function formatResult( $skin, $result ) {
$fromObj = Title::makeTitle( $result->namespace, $result->title );
if ( isset( $result->rd_title ) ) {
function formatResult( $skin, $result ) {
$fromObj = Title::makeTitle( $result->namespace, $result->title );
if ( isset( $result->rd_title ) ) {