Add wgDBTableOptions

diff --git a/maintenance/tables.sql b/maintenance/tables.sql
index b99ec62..46aacc4 100644 (file)
--- a/maintenance/tables.sql
+++ b/maintenance/tables.sql
@@ -1191,6 +1191,6 @@ CREATE TABLE /*$wgDBprefix*/page_props (
   pp_value blob NOT NULL,
 
   PRIMARY KEY (pp_page,pp_propname)
-);
+) /*$wgDBTableOptions*/;
 
 -- vim: sw=2 sts=2 et