At least use /*$wgDBTableOptions*/; if passed through MW

Change-Id: I7ed0ae6223d362e24121836a290a6e159d672878

diff --git a/maintenance/archives/patch-filejournal.sql b/maintenance/archives/patch-filejournal.sql
index 114297c..6c07858 100644 (file)
--- 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);