MediaWiki  1.23.12
42

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