Merge "Cache the result of User::getDefaultOptions"
authorDemon <chadh@wikimedia.org>
Mon, 29 Oct 2012 14:21:42 +0000 (14:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 29 Oct 2012 14:21:42 +0000 (14:21 +0000)
commitbfad55b0954bee8939cdd5e466efe80e2bf845b5
treeee8130784c9a8f69086a6a8bc42913dc963440e4
parent29505e5477f0cd9fa5e2ad4ed0d41a07a7fafb6b
parentadf6e8fcdd56c5ab76fb757630f0e772ec2853c5
Merge "Cache the result of User::getDefaultOptions"