00868: Possible BUG in PageIndexGrep();
Description: Argh, after I post this it occurred to me that pages are only case insensitive on daft windows boxes; This is neither a bug nor a good feature request; *grumble*
My apologies for the static. Feral January 19, 2007, at 07:04 AM
There is a discrepancy in PmWiki in that page names are case insensitive yet the page index IS case sensitive.
This is because PageIndexGrep() uses
strpos(), perhaps this could be changed to
stripos()? Alternatively lower all link terms in the index file.
I cite roughly line 568 in pagelist.php as the culprit;
Thank you (=