Adamw has submitted this change and it was merged.
Change subject: Missed a prefix in CentralNotice.sql
......................................................................
Missed a prefix in CentralNotice.sql
This has now been added.
Change-Id: Ia9a11d8352d087d153c68d10911e3715263a29eb
---
M CentralNotice.sql
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Adamw: Looks good to me, approved
diff --git a/CentralNotice.sql b/CentralNotice.sql
index 6acb2ae..b53d849 100644
--- a/CentralNotice.sql
+++ b/CentralNotice.sql
@@ -71,7 +71,7 @@
`dev_display_label` varchar(255) binary NOT NULL
) /*$wgDBTableOptions*/;
CREATE INDEX /*i*/dev_name ON /*_*/cn_known_devices (dev_name);
-INSERT INTO cn_known_devices VALUES (0, 'desktop',
'{{int:centralnotice-devicetype-desktop}}');
+INSERT INTO /*_*/cn_known_devices VALUES (0, 'desktop',
'{{int:centralnotice-devicetype-desktop}}');
CREATE TABLE IF NOT EXISTS /*_*/cn_template_devices (
`tdev_id` int PRIMARY KEY AUTO_INCREMENT,
--
To view, visit https://gerrit.wikimedia.org/r/56349
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia9a11d8352d087d153c68d10911e3715263a29eb
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CentralNotice
Gerrit-Branch: master
Gerrit-Owner: Mwalker <[email protected]>
Gerrit-Reviewer: Adamw <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
