From ba434fb5a6b5760d7bab4e12ce299514ab569f1e Mon Sep 17 00:00:00 2001 From: =?utf8?q?M=C3=A1t=C3=A9=20Kocsis?= Date: Tue, 23 Jun 2020 21:06:36 +0200 Subject: [PATCH] Remove outdated PHPDoc from ext/enchant's stub --- ext/enchant/enchant.stub.php | 2 -- 1 file changed, 2 deletions(-) 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 {} - -- 2.50.1