Merge "(bug 18195) Allow changing preferences via API"
authorWerdna <agarrett@wikimedia.org>
Fri, 4 May 2012 05:53:05 +0000 (05:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 4 May 2012 05:53:06 +0000 (05:53 +0000)
commita97f5a11348706b415883d6a3679d3ec253eb0db
tree1efff5abd1091be1a225d3a6e7ac88beaf847aca
parent247953c7adfe43220f03f77d025d376fdf3a46d0
parenta6cd69d83a631cc39277eb88bdc22ab688b45746
Merge "(bug 18195) Allow changing preferences via API"
includes/AutoLoader.php
includes/User.php
includes/api/ApiQueryUserInfo.php