makes word plugin case insensitive, a=chris

Author Chris Pollett <chris@pollett.org>
Author date 2019-01-25 00:Jan:th
Author local date 2019-01-24 16:Jan:th -0800
Committer Chris Pollett <chris@pollett.org>
Committer date 2019-01-25 00:Jan:th
Committer local date 2019-01-24 16:Jan:th -0800
Commit 1b1b739d8d79a40a71d8dae942daf3e58679d90a
Tree d1118346ccec2f71e7a43d204718a8b560f0f258
Parent ebdb7dfe1d97e0f44b55d0e5a36d7fcd3366627d
makes word plugin case insensitive, a=chris
Affected files:
src/library/indexing_plugins/WordfilterPlugin.php
ViewGit