schema_version_25.sql 248 B

1234
  1. ALTER TABLE users ALTER COLUMN theme SET DEFAULT 'light_serif';
  2. UPDATE users SET theme='light_serif' WHERE theme='default';
  3. UPDATE users SET theme='light_sans_serif' WHERE theme='sansserif';
  4. UPDATE users SET theme='dark_serif' WHERE theme='black';