2023-08-03 07:35:14 +05:30
|
|
|
'use strict';
|
|
|
|
|
|
2023-08-25 16:24:13 +05:30
|
|
|
// WARNING: THIS MIGRATION IS WRONG. THIS GETS FIXED IN 20230825105154-settings-rename-to-directory-server-again.js
|
2023-08-03 07:35:14 +05:30
|
|
|
exports.up = async function(db) {
|
|
|
|
|
await db.runSql('UPDATE settings SET name=? WHERE name=?', [ 'user_directory_config', 'directory_server_config']);
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
exports.down = async function(/* db */) {
|
|
|
|
|
};
|