From b1dac80ab7984c6955c61dc27a5c9a925a44ade6 Mon Sep 17 00:00:00 2001
From: Greg Sabino Mullane <greg@users.mediawiki.org>
Date: Thu, 21 Feb 2008 19:20:43 +0000
Subject: [PATCH] Add wgDBTableOptions

---
 maintenance/tables.sql | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/maintenance/tables.sql b/maintenance/tables.sql
index b99ec62bf9..46aacc4c78 100644
--- 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
-- 
2.20.1