W

weoptions

API for setting current user options for MediaWiki 1.15-1.19