<?php
require_once('generated/BaseUser.class.php');
/**
 * This class has been auto-generated by the Doctrine ORM Framework
 */
class User extends BaseUser
{


}