wikimedia/mediawiki-extensions-TitleBlacklist
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/TitleBlacklist synced 2024-11-13 17:27:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Improve param docs"

Browse source
This commit is contained in:
jenkins-bot 2019-12-15 19:36:33 +00:00 committed by Gerrit Code Review
parent 0c13e3fd3f 41c93cd4b6
commit e5d00d0d9c
2 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
includes/TitleBlacklist.php
View file

@ -17,13 +17,13 @@ use MediaWiki\MediaWikiServices;
* Implements a title blacklist for MediaWiki
*/
class TitleBlacklist {
/** @var TitleBlacklistEntry[] */
/** @var TitleBlacklistEntry[]|null */
private $mBlacklist = null;
/** @var TitleBlacklistEntry[] */
/** @var TitleBlacklistEntry[]|null */
private $mWhitelist = null;
/** @var TitleBlacklist */
/** @var TitleBlacklist|null */
protected static $instance = null;
const VERSION = 3; // Blacklist format

6
includes/TitleBlacklistEntry.php
View file

@ -37,7 +37,7 @@ class TitleBlacklistEntry {
/**
* Entry format version
* @var string
* @var int
*/
private $mFormatVersion;
@ -264,7 +264,7 @@ class TitleBlacklistEntry {
}
/**
* @return string The format version
* @return int The format version
*/
public function getFormatVersion() {
return $this->mFormatVersion;
@ -273,7 +273,7 @@ class TitleBlacklistEntry {
/**
* Set the format version
*
* @param string $v New version to set
* @param int $v New version to set
*/
public function setFormatVersion( $v ) {
$this->mFormatVersion = $v;