mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-30 16:54:18 +00:00
da1c71ec4c
Names were kept for now. Change-Id: Ib2eb5d7b523a64f2a0f72fdcdde2043a76cc9a37
20 lines
315 B
PHP
20 lines
315 B
PHP
<?php
|
|
|
|
namespace MediaWiki\Extension\AbuseFilter\Parser;
|
|
|
|
class AFPParserState {
|
|
/** @var AFPToken */
|
|
public $token;
|
|
/** @var int */
|
|
public $pos;
|
|
|
|
/**
|
|
* @param AFPToken $token
|
|
* @param int $pos
|
|
*/
|
|
public function __construct( AFPToken $token, $pos ) {
|
|
$this->token = $token;
|
|
$this->pos = $pos;
|
|
}
|
|
}
|