Merge "Update formatting for CSS files in skins/"

[lhc/web/wiklou.git] / maintenance / archives / patch-user_rights.sql

diff --git a/maintenance/archives/patch-user_rights.sql b/maintenance/archives/patch-user_rights.sql
index 4c6846e..4947cb1 100644 (file)
--- a/maintenance/archives/patch-user_rights.sql
+++ b/maintenance/archives/patch-user_rights.sql
@@ -7,11 +7,11 @@
 
 CREATE TABLE /*$wgDBprefix*/user_rights (
   -- Key to user_id
-  ur_user int(5) unsigned NOT NULL,
-  
+  ur_user int unsigned NOT NULL,
+
   -- Comma-separated list of permission keys
   ur_rights tinyblob NOT NULL,
-  
+
   UNIQUE KEY ur_user (ur_user)
 
 ) /*$wgDBTableOptions*/;