From 8651cc0d7ae11e650b7b150f53af945ef5ac60fb Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Thu, 30 Jan 2020 21:11:56 +0000
Subject: [PATCH] get_int for db_version

---
 ext/upgrade/main.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ext/upgrade/main.php b/ext/upgrade/main.php
index 141c015d..11828e2f 100644
--- a/ext/upgrade/main.php
+++ b/ext/upgrade/main.php
@@ -20,7 +20,7 @@ class Upgrade extends Extension
     {
         global $config, $database;
 
-        if (!is_numeric($config->get_string("db_version"))) {
+        if ($config->get_int("db_version") < 1) {
             $this->set_version("db_version", 2);
         }