Файловый менеджер - Редактировать - /var/www/html/mediawiki-1.43.1/extensions/AbuseFilter/includes/Filter/HistoryFilter.php
Ðазад
<?php namespace MediaWiki\Extension\AbuseFilter\Filter; /** * Variant of ExistingFilters for past versions of filters */ class HistoryFilter extends ExistingFilter { /** @var int */ private $historyID; /** * @param Specs $specs * @param Flags $flags * @param callable|array[] $actions Array with params or callable that will return them * @phan-param array[]|callable():array[] $actions * @param LastEditInfo $lastEditInfo * @param int $id * @param int $historyID */ public function __construct( Specs $specs, Flags $flags, $actions, LastEditInfo $lastEditInfo, int $id, int $historyID ) { parent::__construct( $specs, $flags, $actions, $lastEditInfo, $id ); $this->historyID = $historyID; } /** * @return int */ public function getHistoryID(): int { return $this->historyID; } }
| ver. 1.1 | |
.
| PHP 8.4.18 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ Ñтраницы: 0 |
proxy
|
phpinfo
|
ÐаÑтройка