public function quitUser($user) {
if(array_key_exists($user->getNumeric(), $this->users)) {
unset($this->users[$user->getNumeric()]);
unset($this->userPrivs[$user->getNumeric()]);
//$user->delChannel($this) is not necessary because the user quits (the whole Object gets removed later)
public function quitUser($user) {
if(array_key_exists($user->getNumeric(), $this->users)) {
unset($this->users[$user->getNumeric()]);
unset($this->userPrivs[$user->getNumeric()]);
//$user->delChannel($this) is not necessary because the user quits (the whole Object gets removed later)