From 328739710ad90bb39121000efc64b03f52b27c0c Mon Sep 17 00:00:00 2001
From: Reedy <reedy@wikimedia.org>
Date: Thu, 17 May 2012 23:27:38 +0100
Subject: [PATCH] At least use  /*$wgDBTableOptions*/; if passed through MW

Change-Id: I7ed0ae6223d362e24121836a290a6e159d672878
---
 maintenance/archives/patch-filejournal.sql | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/maintenance/archives/patch-filejournal.sql b/maintenance/archives/patch-filejournal.sql
index 114297c6d8..6c0785872b 100644
--- a/maintenance/archives/patch-filejournal.sql
+++ b/maintenance/archives/patch-filejournal.sql
@@ -16,7 +16,7 @@ CREATE TABLE /*_*/filejournal (
   fj_new_sha1 varbinary(32) NOT NULL default '',
   -- Timestamp of the batch operation
   fj_timestamp varbinary(14) NOT NULL default ''
-);
+) /*$wgDBTableOptions*/;
 
 CREATE INDEX /*i*/fj_batch_id ON /*_*/filejournal (fj_batch_uuid);
 CREATE INDEX /*i*/fj_timestamp ON /*_*/filejournal (fj_timestamp);
-- 
2.20.1