Merge "installer: Read styles from Vector's skin.json"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 6 May 2015 18:03:13 +0000 (18:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 6 May 2015 18:03:13 +0000 (18:03 +0000)
commit12be01f2d9197c2f54ad041d54e3552a81ba9852
treeeee2b79553dfb75df65d8fcf09d56ef4036d3e35
parente4af020f0ee4d599be229c6d3a32b48a4b52a69c
parent3c1d3e2bc6dc152e6846cb8fed13c60bc0948dec
Merge "installer: Read styles from Vector's skin.json"