Do not pass unused parameter
authorJakub Vrana <jakub@vrana.cz>
Sat, 1 Dec 2018 17:04:44 +0000 (18:04 +0100)
committerJakub Vrana <jakub@vrana.cz>
Sat, 1 Dec 2018 17:04:44 +0000 (18:04 +0100)
commit8f4dde445fa2a140293753ee4b891f283a7c7e3c
tree9f6df737fe4f858efe429069b15932b81cdc45d2
parent783aa87175fd9d5c9d313d2e51d9dd2de0246bfa
Do not pass unused parameter

Found by PHPStan.

Change-Id: Icf9f1c87ff2690b7a16c99418cdb1dae9d97ce25
includes/installer/WebInstallerOptions.php