* Finish task #8085.

2020-10-10 16:56:36 +08:00
parent 4262f4c782
commit 02eb03583d
9 changed files with 112 additions and 147 deletions
@@ -610,6 +610,10 @@ class upgradeModel extends model
            $this->saveLogs('Execute 12_4_1');
            $this->execSQL($this->getUpgradeFile('12.4.1'));
            $this->appendExec('12_4_1');
+        case '12_4_2':
+            $this->saveLogs('Execute 12_4_2');
+            $this->execSQL($this->getUpgradeFile('12.4.2'));
+            $this->appendExec('12_4_2');
        }

        $this->deletePatch();