Remove outdated PHPDoc from ext/enchant's stub

diff --git a/ext/enchant/enchant.stub.php b/ext/enchant/enchant.stub.php
index ac81ff1e685b0639d3edf0483b60e5ceab3fdd14..457e55e64bcc35e7c89c2cc3c40355ac498803aa 100644 (file)
--- 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 {}
-