wikimedia / mediawiki

			$pageInfo['watched'] = isset( $this->watched[$ns][$dbkey] );

		}

		if ( $this->fld_watchers ) {

			if ( $this->watchers !== null && $this->watchers[$ns][$dbkey] !== 0 ) {

				$pageInfo['watchers'] = $this->watchers[$ns][$dbkey];

			} elseif ( $this->showZeroWatchers ) {

				$pageInfo['watchers'] = 0;

			}

		}

		if ( $this->fld_visitingwatchers ) {

			if ( $this->visitingwatchers !== null && $this->visitingwatchers[$ns][$dbkey] !== 0 ) {

			}

		}

		if ( $this->fld_visitingwatchers ) {

			if ( $this->visitingwatchers !== null && $this->visitingwatchers[$ns][$dbkey] !== 0 ) {

				$pageInfo['visitingwatchers'] = $this->visitingwatchers[$ns][$dbkey];

			} elseif ( $this->showZeroWatchers ) {

				$pageInfo['visitingwatchers'] = 0;

			}

		}

		if ( $this->fld_notificationtimestamp ) {

			$pageInfo['notificationtimestamp'] = '';