Merge "Add getPersonalToolsList to SkinTemplate"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 8 Jul 2013 16:22:04 +0000 (16:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 8 Jul 2013 16:22:04 +0000 (16:22 +0000)
commit5440c0139cbf7564df2a08c998e3fe82a9f57640
treeccde590d27222819187c552b833a522878ea706d
parentb8438031cfc67df71e16ecd806761d4d916536f7
parente02715b58a51a25579993e9a178adc63f404d5e7
Merge "Add getPersonalToolsList to SkinTemplate"