User "Hashar" posted a comment on MediaWiki.r18334. Full URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/18334#c22691 Commit summary:
User::getOption now accept a default value to override default user values this makes it consistent with WebRequest::get* methods. Corrected code in various places accordingly. Comment: Can we reset this one since bug 30940 got properly fixed? :-) _______________________________________________ MediaWiki-CodeReview mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
