From cecb985bee3bdd252e1b8dc0bd500b37cd52be01 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Wed, 16 May 2007 20:58:53 +0000
Subject: Aktualisierung auf MediaWiki 1.10.0 Plugins angepasst und verbessert
 kleine Korrekturen am Design

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

(limited to 'maintenance/archives/patch-logging.sql')

diff --git a/maintenance/archives/patch-logging.sql b/maintenance/archives/patch-logging.sql
index 54146fb7..96847526 100644
--- a/maintenance/archives/patch-logging.sql
+++ b/maintenance/archives/patch-logging.sql
@@ -29,7 +29,7 @@ CREATE TABLE /*$wgDBprefix*/logging (
   KEY user_time (log_user, log_timestamp),
   KEY page_time (log_namespace, log_title, log_timestamp)
 
-) TYPE=InnoDB;
+) /*$wgDBTableOptions*/;
 
 
 -- Change from unsigned to signed so we can store special pages
-- 
cgit v1.2.2

