"Nikerabbit" posted a comment on MediaWiki.r104668.
URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/104668#c26827
Commit summary for MediaWiki.r104668:
(bug 32230) Expose wgRedirectedFrom (title of the page we were redirected from,
if any) in JavaScript. Patch by MrBlueSky
Nikerabbit's comment:
Why not add type hint?
public function setRedirectedFrom( Title $t = null ) {
_______________________________________________
MediaWiki-CodeReview mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
