MediaWiki 1.30.2

[autoinstallsdev/mediawiki.git] / maintenance / archives / patch-user-realname.sql

diff --git a/maintenance/archives/patch-user-realname.sql b/maintenance/archives/patch-user-realname.sql
index 96edaa4322d5b4c384ca8fb45fad37fcb77ee1af..de7cee75b94282e1298d5e2fa7d5d173b95727c5 100644 (file)
--- a/maintenance/archives/patch-user-realname.sql
+++ b/maintenance/archives/patch-user-realname.sql
@@ -1,5 +1,5 @@
 -- Add a 'real name' field where users can specify the name they want
 -- used for author attribution or other places that real names matter.
 
-ALTER TABLE user 
+ALTER TABLE user
         ADD (user_real_name varchar(255) binary NOT NULL default '');