diff options
author | Andrew Dolgov <[email protected]> | 2014-12-18 11:55:36 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2014-12-18 11:55:36 +0300 |
commit | 06f328a31b599d08e13781d97726cc04c114b17c (patch) | |
tree | d1b4a30390f28a6f909af4a5b3eebe6feadfe1f9 /include/functions.php | |
parent | 945ecd7db66203ce117c1818b49e8204e92ceabe (diff) | |
parent | bd40827b737464ea2de8857fded057122543990a (diff) |
Merge pull request #427 from andersk/duplicate-indexes
Drop duplicate database indexes
Diffstat (limited to 'include/functions.php')
-rw-r--r-- | include/functions.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/functions.php b/include/functions.php index 2f3daea10..9b93aed80 100644 --- a/include/functions.php +++ b/include/functions.php @@ -1,6 +1,6 @@ <?php define('EXPECTED_CONFIG_VERSION', 26); - define('SCHEMA_VERSION', 126); + define('SCHEMA_VERSION', 127); define('LABEL_BASE_INDEX', -1024); define('PLUGIN_FEED_BASE_INDEX', -128); |