Alex Dowad
744ca16e73
Speed boost for mb_stripos (when not using UTF-8)
...
Instead of case-folding a string and then converting it to UTF-8 as a
separate operation, why not convert it to UTF-8 at the same time as
we fold case?
For non-UTF-8 encodings, this typically makes mb_stripos about 2x
faster.
2022-12-18 15:31:20 +02:00
..
2022-06-17 14:12:53 +02:00
2022-06-25 07:40:19 +01:00
2022-08-28 08:27:19 +02:00
2022-11-28 17:12:07 +01:00
2022-10-27 14:42:17 +01:00
2022-10-21 18:31:40 +01:00
2022-12-01 11:11:42 +00:00
2022-08-28 08:27:19 +02:00
2022-09-07 17:41:10 +02:00
2022-10-27 14:42:40 +01:00
2022-09-14 11:13:23 +02:00
2022-08-28 08:27:19 +02:00
2022-11-28 16:19:54 +01:00
2022-10-02 21:00:03 +02:00
2022-10-27 14:42:40 +01:00
2022-08-28 08:27:19 +02:00
2022-10-24 15:03:25 +02:00
2022-11-15 19:36:38 +01:00
2022-12-11 17:30:56 +01:00
2022-08-28 08:27:19 +02:00
2022-12-13 23:48:48 +00:00
2022-12-12 19:54:13 +00:00
2022-10-09 22:03:06 +02:00
2022-12-16 14:38:09 +01:00
2022-11-22 17:12:53 +00:00
2022-12-18 15:31:20 +02:00
2022-12-09 16:10:36 +01:00
2022-11-02 12:06:03 +00:00
2022-09-27 23:32:37 +02:00
2022-09-06 10:42:34 +01:00
2022-12-16 17:44:26 +01:00
2022-11-25 14:08:17 +00:00
2022-11-13 11:10:10 +01:00
2022-09-06 10:33:34 +01:00
2022-10-26 12:23:04 +02:00
2022-09-06 08:48:22 +02:00
2022-11-30 12:13:36 +01:00
2022-09-06 08:48:22 +02:00
2022-11-11 19:46:16 +01:00
2022-10-19 11:37:30 +02:00
2022-09-05 17:28:23 +02:00
2022-09-06 08:48:22 +02:00
2022-10-31 22:33:24 +00:00
2022-11-15 19:36:38 +01:00
2022-10-28 10:48:11 +02:00
2022-08-28 08:27:19 +02:00
2022-12-14 17:48:47 +01:00
2022-09-06 08:48:22 +02:00
2022-11-17 16:20:27 +01:00
2022-11-15 19:36:38 +01:00
2022-09-14 11:13:23 +02:00
2022-09-14 11:13:23 +02:00
2022-09-07 17:41:10 +02:00
2022-09-14 11:13:23 +02:00
2022-10-13 16:08:50 +02:00
2022-10-31 16:38:18 +00:00
2022-11-28 17:12:07 +01:00
2022-12-02 12:49:08 +00:00
2022-12-06 16:01:24 +01:00
2022-12-12 16:12:10 +00:00
2022-09-14 11:13:23 +02:00
2022-09-14 11:13:23 +02:00
2022-09-14 11:13:23 +02:00
2022-09-06 10:33:34 +01:00
2022-10-27 14:42:17 +01:00
2022-10-12 11:42:24 +02:00
2022-10-27 14:42:40 +01:00
2022-09-14 11:13:23 +02:00
2022-09-14 11:13:23 +02:00
2022-12-16 17:44:26 +01:00
2022-09-26 23:13:31 +02:00
2022-09-14 23:55:46 +02:00