mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 07:54:13 +00:00
50e6b7d6f3
Fails for sqlite. Needed for Wikimedia CI when an extension loads Echo. Change-Id: Ia7572f1610aa765f34ec94f2609eb747fa48ac38
19 lines
654 B
SQL
19 lines
654 B
SQL
CREATE TABLE /*_*/echo_unread_wikis (
|
|
-- Primary key
|
|
euw_id INT UNSIGNED NOT NULL PRIMARY KEY AUTO_INCREMENT,
|
|
-- Global user id
|
|
euw_user INT UNSIGNED NOT NULL,
|
|
-- Name of wiki
|
|
euw_wiki VARCHAR(64) NOT NULL,
|
|
-- unread alerts count on that wiki
|
|
euw_alerts INT UNSIGNED NOT NULL,
|
|
-- Timestamp of the most recent unread alert
|
|
euw_alerts_ts BINARY(14) NOT NULL,
|
|
-- unread messages count on that wiki
|
|
euw_messages INT UNSIGNED NOT NULL,
|
|
-- Timestamp of the most recent unread message
|
|
euw_messages_ts BINARY(14) NOT NULL
|
|
) /*$wgDBTableOptions*/;
|
|
|
|
CREATE UNIQUE INDEX /*i*/echo_unread_wikis_user_wiki ON /*_*/echo_unread_wikis (euw_user,euw_wiki);
|