wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-09-23 10:21:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix PSR12.Properties.ConstantVisibility.NotFound

Browse source 
Bug: T253169
Change-Id: I9bd5f82ed62bb01b80b13507832935ac7a673804
This commit is contained in:
Reedy 2020-09-19 18:06:39 +01:00
parent e757e415a9
commit c647f7c80e
3 changed files with 4 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.phpcs.xml
View file

@ -4,7 +4,6 @@
<exclude name="MediaWiki.Commenting.FunctionComment.MissingDocumentationPrivate" />
<exclude name="MediaWiki.Commenting.FunctionComment.MissingDocumentationProtected" />
<exclude name="MediaWiki.Commenting.FunctionComment.MissingDocumentationPublic" />
<exclude name="PSR12.Properties.ConstantVisibility.NotFound" />
</rule>
<file>.</file>
<arg name="extensions" value="php,php5,inc" />

6
includes/CategoryManager.php
View file

@ -27,9 +27,9 @@ use InvalidArgumentException;
*/
class CategoryManager {
const HIGH = 'high';
const MEDIUM = 'medium';
const LOW = 'low';
private const HIGH = 'high';
private const MEDIUM = 'medium';
private const LOW = 'low';
/**
* Map of category names to their hardcoded

2
includes/Database.php
View file

@ -32,7 +32,7 @@ class Database {
* Maximum number of errors to save per category,
* for a page, the rest are just dropped
*/
const MAX_PER_CAT = 20;
public const MAX_PER_CAT = 20;
/**
* @var int