wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-27 17:20:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

patch-echo_push_subscription-add-column-eps_topic.sql: Add table prefix

Browse source 
Bug: T322143
Change-Id: I38f465a3e1ab8059beb94fc85ffe1729379d5b7a
Follows-Up: I0759b82ad91849880c784e412e04dd53f26df6a2
(cherry picked from commit 1baec7712a)
This commit is contained in:
Reedy 2022-12-20 14:20:59 +00:00 committed by Umherirrender
parent 8f0ec57ddd
commit e670bb76c9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
sql/mysql/patch-echo_push_subscription-add-column-eps_topic.sql
View file

@ -1,3 +1,3 @@
ALTER TABLE echo_push_subscription
ALTER TABLE /*_*/echo_push_subscription
ADD COLUMN eps_topic TINYINT UNSIGNED;
CREATE INDEX /*i*/eps_topic ON /*_*/echo_push_subscription (eps_topic);