diff options
Diffstat (limited to 'php-enchant-depr.patch')
| -rw-r--r-- | php-enchant-depr.patch | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/php-enchant-depr.patch b/php-enchant-depr.patch deleted file mode 100644 index 0e2d2c0cf676..000000000000 --- a/php-enchant-depr.patch +++ /dev/null @@ -1,38 +0,0 @@ ---- php-7.2.1/ext/enchant/enchant.c.orig -+++ php-7.2.1/ext/enchant/enchant.c -@@ -741,7 +741,7 @@ - for (i = 0; i < n_sugg; i++) { - add_next_index_string(sugg, suggs[i]); - } -- enchant_dict_free_suggestions(pdict->pdict, suggs); -+ enchant_dict_free_string_list(pdict->pdict, suggs); - } - - -@@ -798,7 +798,7 @@ - add_next_index_string(return_value, suggs[i]); - } - -- enchant_dict_free_suggestions(pdict->pdict, suggs); -+ enchant_dict_free_string_list(pdict->pdict, suggs); - } - } - /* }}} */ -@@ -818,7 +818,7 @@ - - PHP_ENCHANT_GET_DICT; - -- enchant_dict_add_to_personal(pdict->pdict, word, wordlen); -+ enchant_dict_add(pdict->pdict, word, wordlen); - } - /* }}} */ - -@@ -856,7 +856,7 @@ - - PHP_ENCHANT_GET_DICT; - -- RETURN_BOOL(enchant_dict_is_in_session(pdict->pdict, word, wordlen)); -+ RETURN_BOOL(enchant_dict_is_added(pdict->pdict, word, wordlen)); - } - /* }}} */ - |