MediaWiki  1.23.0
42

The identifier/value for the redirect (which id, which file) $mValue '