wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Don't use '#' for comments in .sql files"

Browse source
This commit is contained in:
jenkins-bot 2022-04-12 12:31:24 +00:00 committed by Gerrit Code Review
parent 59e8ca5c27 50e6b7d6f3
commit e22fcaf65d
1 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
db_patches/echo_unread_wikis.sql
View file

@ -1,17 +1,17 @@
CREATE TABLE /*_*/echo_unread_wikis (
# Primary key
-- Primary key
euw_id INT UNSIGNED NOT NULL PRIMARY KEY AUTO_INCREMENT,
# Global user id
-- Global user id
euw_user INT UNSIGNED NOT NULL,
# Name of wiki
-- Name of wiki
euw_wiki VARCHAR(64) NOT NULL,
# unread alerts count on that wiki
-- unread alerts count on that wiki
euw_alerts INT UNSIGNED NOT NULL,
# Timestamp of the most recent unread alert
-- Timestamp of the most recent unread alert
euw_alerts_ts BINARY(14) NOT NULL,
# unread messages count on that wiki
-- unread messages count on that wiki
euw_messages INT UNSIGNED NOT NULL,
# Timestamp of the most recent unread message
-- Timestamp of the most recent unread message
euw_messages_ts BINARY(14) NOT NULL
) /*$wgDBTableOptions*/;