Re: Feature Request #5919 case-insensitive version of str_replace()
| From: | Sascha Schumann | Date: | Wed, 29 Jan 2003 21:06:51 +0000 |
| Subject: | Re: Feature Request #5919 case-insensitive version of str_replace() | ||
| References: | 1 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-93777@lists.php.net to get a copy of this message | ||
> On a related topic, the 'boyer' option of str_replace isn't even
> documented. That alternate method of performing str_replaces look like
> it's a bit more efficient (no benchmarkes atm) but I'm wondering if
> there's a specific reasons why it wasn't documented yet.
The BM algorithm is outdated and can savely be dropped.
- Sascha