Thiemo Mättig (WMDE) has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/366801 )

Change subject: Declare compatibility with PHP 5.5
......................................................................

Declare compatibility with PHP 5.5

"int" type hints do exist in PHP 7 only.

The "composer/installers" dependency is recommended for all repositories
that are marked as "type": "mediawiki-extension". See discussion at
I615c88d.

Change-Id: I260ebba15c360500bc93cae63f73ccd8d328a78b
---
M composer.json
M includes/Extra/Query/SourceRegex.php
2 files changed, 3 insertions(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/CirrusSearch 
refs/changes/01/366801/1

diff --git a/composer.json b/composer.json
index 06ceb86..c3e7bb5 100644
--- a/composer.json
+++ b/composer.json
@@ -5,6 +5,8 @@
        "license"    : "GPL-2.0+",
        "minimum-stability": "dev",
        "require"    : {
+               "php": ">=5.5.9",
+               "composer/installers": ">=1.0.1",
                "wikimedia/textcat": "1.2.0"
        },
        "require-dev": {
diff --git a/includes/Extra/Query/SourceRegex.php 
b/includes/Extra/Query/SourceRegex.php
index 84ca1a9..9183bb4 100644
--- a/includes/Extra/Query/SourceRegex.php
+++ b/includes/Extra/Query/SourceRegex.php
@@ -154,7 +154,7 @@
        *  generated from extracted ngrams.
        * @return self
        */
-       public function setMaxNgramClauses( int $maxNgramClauses ) {
+       public function setMaxNgramClauses( $maxNgramClauses ) {
                return $this->setParam( 'max_ngram_clauses', $maxNgramClauses );
        }
 

-- 
To view, visit https://gerrit.wikimedia.org/r/366801
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I260ebba15c360500bc93cae63f73ccd8d328a78b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CirrusSearch
Gerrit-Branch: master
Gerrit-Owner: Thiemo Mättig (WMDE) <thiemo.maet...@wikimedia.de>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to