private function resetState($result) { global $wgRequest; $result['debug'][] = "will reset user view state"; $userId = $wgRequest->getVal("userId"); TipsPatrol::resetUserViews($userId, &$result); }