| Property changes on: trunk/extensions/LiquidThreads/jquery/plugins.js |
| ___________________________________________________________________ |
| Added: svn:eol-style |
| 1 | 1 | + native |
| Property changes on: trunk/extensions/Wikilog/TODO |
| ___________________________________________________________________ |
| Added: svn:eol-style |
| 2 | 2 | + native |
| Index: trunk/extensions/EditConflict/tables.src |
| — | — | @@ -1,48 +1,48 @@ |
| 2 | | - -- make sure exactly same tables are defined in maintenance/tables.sql if you want to use mediawiki config/index.php
|
| 3 | | -CREATE TABLE /*$wgDBprefix*/ec_edit_conflict (
|
| 4 | | - -- revision id of destination article (also used in UI as unique ID)
|
| 5 | | - -- it is required because the same page can have more than one conflict caused by the same user
|
| 6 | | - ns_user_rev_id int unsigned NOT NULL,
|
| 7 | | -
|
| 8 | | - -- A source page which content was copied
|
| 9 | | - page_namespace int NOT NULL,
|
| 10 | | - -- The rest of the title, as text.
|
| 11 | | - -- Spaces are transformed into underscores in title storage.
|
| 12 | | - page_title varchar(255) binary NOT NULL,
|
| 13 | | -
|
| 14 | | - -- Timestamp of destination revision
|
| 15 | | - page_touched binary(14) NOT NULL default '',
|
| 16 | | -
|
| 17 | | - -- user whose editing has caused an conflict
|
| 18 | | - user_name varchar(255) binary NOT NULL default '',
|
| 19 | | -
|
| 20 | | - PRIMARY KEY ns_user_rev_id (ns_user_rev_id),
|
| 21 | | - INDEX page (page_namespace, page_title),
|
| 22 | | - INDEX page_touched (page_touched),
|
| 23 | | - INDEX user_name (user_name)
|
| 24 | | -) /*$wgDBTableOptions*/;
|
| 25 | | -
|
| 26 | | -CREATE TABLE /*$wgDBprefix*/ec_current_edits (
|
| 27 | | - -- unique edit id for ajax operations
|
| 28 | | - edit_id int unsigned NOT NULL auto_increment,
|
| 29 | | - -- edited page namespace
|
| 30 | | - page_namespace int NOT NULL,
|
| 31 | | - -- The rest of the title, as text.
|
| 32 | | - -- Spaces are transformed into underscores in title storage.
|
| 33 | | - page_title varchar(255) binary NOT NULL,
|
| 34 | | -
|
| 35 | | - -- timestamp of start of the edit (used to timeout the edit)
|
| 36 | | - start_time binary(14) NOT NULL default '',
|
| 37 | | - -- timestamp of last ajax check of the edit (used to timeout the edit)
|
| 38 | | - edit_time binary(14) NOT NULL default '',
|
| 39 | | -
|
| 40 | | - -- the user who edits the page
|
| 41 | | - user_name varchar(255) binary NOT NULL default '',
|
| 42 | | -
|
| 43 | | - PRIMARY KEY edit_id (edit_id),
|
| 44 | | - UNIQUE INDEX user_page (user_name(50), page_namespace, page_title(150)),
|
| 45 | | - INDEX page (page_namespace, page_title(200)),
|
| 46 | | - INDEX start_time (start_time),
|
| 47 | | - INDEX edit_time (edit_time),
|
| 48 | | - INDEX user_name (user_name)
|
| 49 | | -) /*$wgDBTableOptions*/;
|
| | 2 | + -- make sure exactly same tables are defined in maintenance/tables.sql if you want to use mediawiki config/index.php |
| | 3 | +CREATE TABLE /*$wgDBprefix*/ec_edit_conflict ( |
| | 4 | + -- revision id of destination article (also used in UI as unique ID) |
| | 5 | + -- it is required because the same page can have more than one conflict caused by the same user |
| | 6 | + ns_user_rev_id int unsigned NOT NULL, |
| | 7 | + |
| | 8 | + -- A source page which content was copied |
| | 9 | + page_namespace int NOT NULL, |
| | 10 | + -- The rest of the title, as text. |
| | 11 | + -- Spaces are transformed into underscores in title storage. |
| | 12 | + page_title varchar(255) binary NOT NULL, |
| | 13 | + |
| | 14 | + -- Timestamp of destination revision |
| | 15 | + page_touched binary(14) NOT NULL default '', |
| | 16 | + |
| | 17 | + -- user whose editing has caused an conflict |
| | 18 | + user_name varchar(255) binary NOT NULL default '', |
| | 19 | + |
| | 20 | + PRIMARY KEY ns_user_rev_id (ns_user_rev_id), |
| | 21 | + INDEX page (page_namespace, page_title), |
| | 22 | + INDEX page_touched (page_touched), |
| | 23 | + INDEX user_name (user_name) |
| | 24 | +) /*$wgDBTableOptions*/; |
| | 25 | + |
| | 26 | +CREATE TABLE /*$wgDBprefix*/ec_current_edits ( |
| | 27 | + -- unique edit id for ajax operations |
| | 28 | + edit_id int unsigned NOT NULL auto_increment, |
| | 29 | + -- edited page namespace |
| | 30 | + page_namespace int NOT NULL, |
| | 31 | + -- The rest of the title, as text. |
| | 32 | + -- Spaces are transformed into underscores in title storage. |
| | 33 | + page_title varchar(255) binary NOT NULL, |
| | 34 | + |
| | 35 | + -- timestamp of start of the edit (used to timeout the edit) |
| | 36 | + start_time binary(14) NOT NULL default '', |
| | 37 | + -- timestamp of last ajax check of the edit (used to timeout the edit) |
| | 38 | + edit_time binary(14) NOT NULL default '', |
| | 39 | + |
| | 40 | + -- the user who edits the page |
| | 41 | + user_name varchar(255) binary NOT NULL default '', |
| | 42 | + |
| | 43 | + PRIMARY KEY edit_id (edit_id), |
| | 44 | + UNIQUE INDEX user_page (user_name(50), page_namespace, page_title(150)), |
| | 45 | + INDEX page (page_namespace, page_title(200)), |
| | 46 | + INDEX start_time (start_time), |
| | 47 | + INDEX edit_time (edit_time), |
| | 48 | + INDEX user_name (user_name) |
| | 49 | +) /*$wgDBTableOptions*/; |
| Property changes on: trunk/extensions/EditConflict/tables.src |
| ___________________________________________________________________ |
| Added: svn:eol-style |
| 50 | 50 | + native |
| Property changes on: trunk/extensions/EditConflict/INSTALL |
| ___________________________________________________________________ |
| Added: svn:eol-style |
| 51 | 51 | + native |
| Property changes on: trunk/extensions/EditConflict/COPYING |
| ___________________________________________________________________ |
| Added: svn:eol-style |
| 52 | 52 | + native |
| Property changes on: trunk/extensions/EditConflict/README |
| ___________________________________________________________________ |
| Added: svn:eol-style |
| 53 | 53 | + native |