/** * Count the number of users of this object (cached) * @return number of users */ function countUsers() { static $users = null; if (!isset($users)) { $this->plugin->includeClass('class.ilFlashcardUsage.php'); $users = ilFlashcardUsage::_countUsers($this->getId()); } return $users; }