MediaWiki  1.23.2
42

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