Merge "installer: Add support for PlatformSettings.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 10 Apr 2018 02:59:07 +0000 (02:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 10 Apr 2018 02:59:07 +0000 (02:59 +0000)
commit25e6d7444365f53e08a49d2437519773d1fb4c3f
tree9d618f71abae857a811227803ba07a5a22afb4bb
parent0618227f7f2303a883f5c2b351647f550c345ba0
parent50212e6d0ef2cdcc63aece18c8d77c9c251be7ed
Merge "installer: Add support for PlatformSettings.php"