Merge "Add MW_REST_API and MW_ENTRY_POINT"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 9 Sep 2019 15:29:21 +0000 (15:29 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 9 Sep 2019 15:29:21 +0000 (15:29 +0000)
1  2 
api.php
includes/Setup.php
maintenance/Maintenance.php
thumb.php

diff --cc api.php
Simple merge
Simple merge
Simple merge
diff --cc thumb.php
Simple merge