Thread:Extension talk:UserAdmin/Should the update.php script be ran after installing this extension ?