wgDBTableOptions

diff --git a/maintenance/archives/patch-page_props.sql b/maintenance/archives/patch-page_props.sql
index 774e0e2..15a3558 100644 (file)
--- a/maintenance/archives/patch-page_props.sql
+++ b/maintenance/archives/patch-page_props.sql
@@ -5,5 +5,5 @@ CREATE TABLE /*$wgDBprefix*/page_props (
   pp_value blob NOT NULL,
 
   PRIMARY KEY (pp_page,pp_propname)
-);
+) /*$wgDBTableOptions*/;