wikimedia/mediawiki-extensions-CookieWarning
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CookieWarning synced 2024-11-30 08:54:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix type on @param doc

Browse source 
Change-Id: I9caf576cd3c18b2af8313581d85608becfdacdf7
This commit is contained in:
Umherirrender 2020-07-12 01:39:52 +02:00
parent 88578c57e8
commit 1412b7c5ba
2 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.phpcs.xml
View file

@ -1,8 +1,6 @@
<?xml version="1.0"?>
<ruleset>
<rule ref="./vendor/mediawiki/mediawiki-codesniffer/MediaWiki">
<exclude name="MediaWiki.Commenting.FunctionComment.NoParamType" />
</rule>
<rule ref="./vendor/mediawiki/mediawiki-codesniffer/MediaWiki" />
<file>.</file>
<arg name="extensions" value="php,php5,inc" />
<arg name="encoding" value="UTF-8" />

2
includes/Decisions.php
View file

@ -77,7 +77,7 @@ class Decisions {
}
/**
* @param $currentIP
* @param string $currentIP
* @return string The country code associated with the IP or empty string if not able to locate.
* @throws ConfigException
*/