wikimedia / mediawiki

	/**

	 * Load the groups from the database if they aren't already loaded.

	 */

	private function loadGroups() {

		if ( is_null( $this->mGroups ) ) {

			$db = ( $this->queryFlagsUsed & self::READ_LATEST )

				? wfGetDB( DB_MASTER )

				: wfGetDB( DB_REPLICA );

			$res = $db->select( 'user_groups',

				[ 'ug_group' ],

				[ 'ug_user' => $this->mId ],

				__METHOD__ );

			$this->mGroups = [];

			foreach ( $res as $row ) {

				$this->mGroups[] = $row->ug_group;

			}

		}

	}

	/**

	 * Add the user to the group if he/she meets given criteria.

	 *

	 * @return array Names of the groups the user has belonged to.

	 */

	public function getFormerGroups() {

		$this->load();

		if ( is_null( $this->mFormerGroups ) ) {

			$db = ( $this->queryFlagsUsed & self::READ_LATEST )

				? wfGetDB( DB_MASTER )

				: wfGetDB( DB_REPLICA );

			$res = $db->select( 'user_former_groups',

				[ 'ufg_group' ],

				[ 'ufg_user' => $this->mId ],

				__METHOD__ );

			$this->mFormerGroups = [];

			foreach ( $res as $row ) {

				$this->mFormerGroups[] = $row->ufg_group;

			}

		}

		return $this->mFormerGroups;

	}

	/**

	 * Get the user's edit count.