mysql

ALTER TABLE `user` ADD COLUMN `dev_tokens` JSON NULL;

UPDATE `user`
SET `dev_tokens` = JSON_ARRAY(`dev_token`)
WHERE `dev_token` IS NOT NULL AND (`dev_tokens` IS NULL OR JSON_TYPE(`dev_tokens`) = 'NULL');