Update MW_USER_VERSION

diff --git a/includes/User.php b/includes/User.php
index bcd9c66..4a9bbfe 100644 (file)
--- a/includes/User.php
+++ b/includes/User.php
@@ -14,7 +14,7 @@ define( 'USER_TOKEN_LENGTH', 32 );
  * \int Serialized record version.
  * @ingroup Constants
  */
-define( 'MW_USER_VERSION', 6 );
+define( 'MW_USER_VERSION', 7 );
 
 /**
  * \string Some punctuation to prevent editing from broken text-mangling proxies.