From: Máté Kocsis <kocsismate@woohoolabs.com>
Date: Tue, 23 Jun 2020 19:06:36 +0000 (+0200)
Subject: Remove outdated PHPDoc from ext/enchant's stub
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=ba434fb5a6b5760d7bab4e12ce299514ab569f1e;p=php

Remove outdated PHPDoc from ext/enchant's stub
---

diff --git a/ext/enchant/enchant.stub.php b/ext/enchant/enchant.stub.php
index ac81ff1e68..457e55e64b 100644
--- a/ext/enchant/enchant.stub.php
+++ b/ext/enchant/enchant.stub.php
@@ -57,7 +57,6 @@ function enchant_dict_add_to_session(EnchantDictionary $dict, string $word): voi
 function enchant_dict_is_added(EnchantDictionary $dict, string $word): bool {}
 
 /**
-* @param resource $dict
 * @alias enchant_dict_is_added
 * @deprecated
 */
@@ -68,4 +67,3 @@ function enchant_dict_store_replacement(EnchantDictionary $dict, string $mis, st
 function enchant_dict_get_error(EnchantDictionary $dict): string|false {}
 
 function enchant_dict_describe(EnchantDictionary $dict): array {}
-