From cecbed35f0debd96b0592dcfa6f5caedeaa5d036 Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Fri, 22 Feb 2008 04:13:24 +0000
Subject: [PATCH] wgDBTableOptions

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

diff --git a/maintenance/archives/patch-page_props.sql b/maintenance/archives/patch-page_props.sql
index 774e0e275e..15a3558144 100644
--- 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*/;
 
-- 
2.20.1