Merge "Cache ResourceLoader modules in localStorage"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 29 Oct 2013 00:13:09 +0000 (00:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 29 Oct 2013 00:13:09 +0000 (00:13 +0000)
commitcef19c47962f6c60ee290200bded5acf9cb11825
treeada469ff4e6d1afe4127072827b9306cfdfa7171
parentb0aebdaa0a65c3f0a74b61776b20d3bc7e2c360c
parentc719401661e45e56b63446de574e78a24f2236c3
Merge "Cache ResourceLoader modules in localStorage"
includes/DefaultSettings.php