From 47eb3cf7e63a63d091942f73a0b39db65403700d Mon Sep 17 00:00:00 2001
From: Thomas Johnson <NTmatter@gmail.com>
Date: Mon, 30 Jul 2012 16:10:36 +0200
Subject: [PATCH] db/core.php lacked User_username (Issue 3299)

Commit message edited by MMN-o (User_username schemaDef already patched).
---
 db/core.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/db/core.php b/db/core.php
index bf8cae3c4b..d132b56779 100644
--- a/db/core.php
+++ b/db/core.php
@@ -87,6 +87,7 @@ $classes = array('Schema_version',
                  'Local_group',
                  'User_urlshortener_prefs',
                  'Old_school_prefs',
+                 'User_username',
 );
 
 foreach ($classes as $cls) {