| Index: trunk/extensions/FlaggedRevs/archives/patch-flaggedpages.sql |
| — | — | @@ -13,7 +13,7 @@ |
| 14 | 14 | PRIMARY KEY (fp_page_id), |
| 15 | 15 | INDEX fp_reviewed_page (fp_reviewed,fp_page_id), |
| 16 | 16 | INDEX fp_quality_page (fp_quality,fp_page_id) |
| 17 | | -) TYPE=InnoDB; |
| | 17 | +) /*$wgDBTableOptions*/; |
| 18 | 18 | |
| 19 | 19 | -- Migrate old page_ext hacks over |
| 20 | 20 | INSERT INTO /*$wgDBprefix*/flaggedpages (fp_page_id,fp_reviewed,fp_stable,fp_quality) |
| Index: trunk/extensions/FlaggedRevs/archives/patch-flaggedrevs_promote.sql |
| — | — | @@ -5,5 +5,5 @@ |
| 6 | 6 | frp_user_params mediumblob NOT NULL default '', |
| 7 | 7 | |
| 8 | 8 | PRIMARY KEY (frp_user_id) |
| 9 | | -) TYPE=InnoDB; |
| | 9 | +) /*$wgDBTableOptions*/; |
| 10 | 10 | |