LastEditInfo.php
No OneTemporary
Actions

Size

1 KB

Referenced Files

None

Subscribers

None

LastEditInfo.php
View Options

	<?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;
	}
	}