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 | |
| parent | 945ecd7db66203ce117c1818b49e8204e92ceabe (diff) | |
| parent | bd40827b737464ea2de8857fded057122543990a (diff) | |
Merge pull request #427 from andersk/duplicate-indexes
Drop duplicate database indexes
Diffstat (limited to 'include')
| -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); |