Merge "Introduce new schema flags and use them in RevisionStore."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 6 Jul 2018 17:53:44 +0000 (17:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 6 Jul 2018 17:53:44 +0000 (17:53 +0000)
commitfa321e46322048e4d22c660a02d683a03b960f55
tree1c4ff1d7d7261547b704a50bdce3f2da117aa4b3
parent5e2af4503bc9a5194e74e1af050c010de0afc161
parent33258e04d1b84ce78cae64e97318c6f684adb987
Merge "Introduce new schema flags and use them in RevisionStore."
includes/DefaultSettings.php
includes/Storage/RevisionStore.php
includes/page/WikiPage.php