Merge "(bug 40124) allow arbitrary user preferences prefixed with 'userjs-'"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 13 Jan 2013 18:13:50 +0000 (18:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 13 Jan 2013 18:13:50 +0000 (18:13 +0000)
commit617036f08b397f18ab84aa4e4a981393642b4607
treee2014c378dbe9539cdddb0d39c670b644f32427a
parenta00e7e7c1d79c29dc723b02ea1228d46d0efe5bc
parent733d19d0d0d460b07ddda68fedce26cbf609c38f
Merge "(bug 40124) allow arbitrary user preferences prefixed with 'userjs-'"