Merge "Add rest.php (REST API endpoint) with feature flag"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 10 Jul 2019 10:26:33 +0000 (10:26 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 10 Jul 2019 10:26:33 +0000 (10:26 +0000)
commit683621c048d9098a4aa61eb3eb9ff7bad0fca2e0
tree3a5dbcbe0d46d8dec495e3b19693974d7349c8c6
parent51aed12d942b6e0ba160275ea92bde7a26e1ba98
parent490e35598dfa406d9acd886b85e3ae7e9260e27e
Merge "Add rest.php (REST API endpoint) with feature flag"
includes/DefaultSettings.php