]> scripts.mit.edu Git - autoinstallsdev/mediawiki.git/blobdiff - maintenance/archives/patch-user_properties.sql
MediaWiki 1.30.2
[autoinstallsdev/mediawiki.git] / maintenance / archives / patch-user_properties.sql
index e30e00dc3a518c0979d8f34bb15bb5d0c0864b08..85b00616ada5404558b470dcb152723a3aa832bf 100644 (file)
 CREATE TABLE /*_*/user_properties(
   -- Foreign key to user.user_id
   up_user int not null,
-  
+
   -- Name of the option being saved. This is indexed for bulk lookup.
   up_property varbinary(32) not null,
-  
+
   -- Property value as a string.
   up_value blob
 ) /*$wgDBTableOptions*/;