Ticket #3906: php_fix.patch
File php_fix.patch, 763 bytes (added by , 16 years ago) |
---|
-
spellchecker.php
108 108 $chardesc = substr( $val, 0, 1 ); 109 109 # if '&', then not in dictionary but has suggestions 110 110 # if '#', then not in dictionary and no suggestions 111 # if '?', then not in dictionary but some guesses are available 111 112 # if '*', then it is a delimiter between text inputs 112 113 # if '@' then version info 113 if( $chardesc == '&' || $chardesc == '#' ) {114 if( $chardesc == '&' || $chardesc == '#' || $chardesc == '?' ) { 114 115 $line = explode( " ", $val, 5 ); 115 116 print_words_elem( $line[1], $index, $text_input_index ); 116 117 if( isset( $line[4] )) {