Merge "registration: Let extensions add PHP version requirements"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 24 Sep 2018 05:43:18 +0000 (05:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 24 Sep 2018 05:43:18 +0000 (05:43 +0000)
commit0c045de899977975884aa93f3f4e2642dd175f83
treead7f801c2ccca8b7c9dc587d90d030763914388b
parent257edebf33b89180d754adbad44ed3be9eab0b71
parent8af76decf8799f9ebb7fa45990c95bfb13e817c3
Merge "registration: Let extensions add PHP version requirements"