From 0e35ee8cb78bf7ae65cbc3e37310358de2c2ebd2 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Mon, 3 Feb 2020 11:18:21 +0000
Subject: [PATCH] build/server-phar: drop unused imports

---
 build/server-phar.php | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/build/server-phar.php b/build/server-phar.php
index 2aafa34eb..d3d700be9 100644
--- a/build/server-phar.php
+++ b/build/server-phar.php
@@ -46,7 +46,6 @@ require dirname(__DIR__) . '/vendor/autoload.php';
 
 /**
  * @param string[]    $strings
- * @param string|null $delim
  *
  * @return string[]
  */
@@ -55,13 +54,8 @@ function preg_quote_array(array $strings, string $delim = null) : array{
 }
 
 /**
- * @param string   $pharPath
- * @param string   $basePath
  * @param string[] $includedPaths
  * @param mixed[]  $metadata
- * @param string   $stub
- * @param int      $signatureAlgo
- * @param int|null $compression
  * @phpstan-param array<string, mixed> $metadata
  *
  * @return \Generator|string[]