mediawiki-extensions-Echo/db_patches/patch-event_agent-split.sql at c30c0442ab3c4232350c630f107e2b7e5ef46334 - wikimedia/mediawiki-extensions-Echo - fanwikis.org Git Server

wikimedia/mediawiki-extensions-Echo

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-24 18:59:40 +00:00

Andrew Garrett 8da85396d6 Initial commit of Echo, a notifications framework for MediaWiki.

This version is very rough.

For an example set of Minimum Releasable Functionality, this version will notify users on
changes to their watchlists or to their user talk pages.

However, it is still missing a conversion script to turn watchlists into echo subscriptions.

For now, notifications can be viewed through the new special page Special:Notifications, or through the API module provided.

Change-Id: I5867226e3e6195fbed81f4b5803e2310f057ffc4

2012-05-13 00:53:21 +10:00

4 lines

224 B

SQL

Raw Blame History

 -- 2012-05-06: Split event_agent field to allow anonymous agents.
 ALTER TABLE echo_event CHANGE COLUMN event_agent event_agent_id int unsigned null;
 ALTER TABLE echo_event ADD COLUMN event_agent_ip varchar(255) binary null;