diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2018-06-26 23:14:43 +0200 |
|---|---|---|
| committer | Krinkle <krinklemail@gmail.com> | 2018-07-07 00:34:30 +0000 |
| commit | 130ec2523df12a3ca2fe0d422163696d09fcea08 (patch) | |
| tree | 86c3a24a8c09c3e55272839ec2ee51fc1432e16b /includes/search/SearchResult.php | |
| parent | de5c5cd356e081023690eddca1ded3ffe85e2cbe (diff) | |
| download | mediawikicore-130ec2523df12a3ca2fe0d422163696d09fcea08.tar.gz mediawikicore-130ec2523df12a3ca2fe0d422163696d09fcea08.zip | |
Fix PhanTypeMismatchDeclaredParam
Auto fix MediaWiki.Commenting.FunctionComment.DefaultNullTypeParam sniff
Change-Id: I865323fd0295aabd06f3e3c75e0e5043fb31069e
Diffstat (limited to 'includes/search/SearchResult.php')
| -rw-r--r-- | includes/search/SearchResult.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/search/SearchResult.php b/includes/search/SearchResult.php index 2f20d9d52d8f..bd19a84e324e 100644 --- a/includes/search/SearchResult.php +++ b/includes/search/SearchResult.php @@ -66,7 +66,7 @@ class SearchResult { * Return a new SearchResult and initializes it with a title. * * @param Title $title - * @param SearchResultSet $parentSet + * @param SearchResultSet|null $parentSet * @return SearchResult */ public static function newFromTitle( $title, SearchResultSet $parentSet = null ) { |