mediawiki-extensions-AbuseFilter/includes/Filter/LastEditInfo.php

<?php

namespace MediaWiki\Extension\AbuseFilter\Filter;

/**
 * (Mutable) value object that holds information about the last edit to a filter.
 */
class LastEditInfo {
	/** @var int */
	private $userID;
	/** @var string */
	private $userName;
	/** @var string */
	private $timestamp;

	/**
	 * @param int $userID
	 * @param string $userName
	 * @param string $timestamp
	 */
	public function __construct( int $userID, string $userName, string $timestamp ) {
		$this->userID = $userID;
		$this->userName = $userName;
		$this->timestamp = $timestamp;
	}

	/**
	 * @return int
	 */
	public function getUserID(): int {
		return $this->userID;
	}

	/**
	 * @param int $id
	 */
	public function setUserID( int $id ): void {
		$this->userID = $id;
	}

	/**
	 * @return string
	 */
	public function getUserName(): string {
		return $this->userName;
	}

	/**
	 * @param string $name
	 */
	public function setUserName( string $name ): void {
		$this->userName = $name;
	}

	/**
	 * @return string
	 */
	public function getTimestamp(): string {
		return $this->timestamp;
	}

	/**
	 * @param string $timestamp
	 */
	public function setTimestamp( string $timestamp ): void {
		$this->timestamp = $timestamp;
	}
}