From b1623a4339e67c40e3b9bd345624961dbc08b259 Mon Sep 17 00:00:00 2001
From: Andrew Garrett <werdna@users.mediawiki.org>
Date: Fri, 24 Apr 2009 08:37:19 +0000
Subject: [PATCH] Update MW_USER_VERSION

---
 includes/User.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/User.php b/includes/User.php
index bcd9c66771..4a9bbfec5c 100644
--- 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.
-- 
2.20.1