User "Krinkle" posted a comment on MediaWiki.r97367. Full URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/97367#c22704 Commit summary:
[ResourceLoader] Set default options for gadgets that are enabled by default, otherwise they can't be disabled from the preferences (bug 30941) * Uses the new hook in User:getDefaultOptions (bug 30940; r97365) * This revision is based on a similar one for RL2 in the branch (r97366). Needs to be back ported as the bug occurs in 1.18 as well Comment: Oh, interesting. I'll add 'alpha' to it then :) _______________________________________________ MediaWiki-CodeReview mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
