[Tiki-users] Search @ dev.tiki.org broken

Hi!

The search feature at dev.tiki.org seems to be broken.

I can start a search in the search entry field at the top right. Then I
get a lot of hits. Then I change the "Object Type" to "wiki page" and I
click on "Search" again - either in the top right corner or to the left
under the "Search" heading. The hit list doesn't change, there are
still all kinds of object types. Then I try the "Filter" button at the
bottom of the filters, and, again, no filters take effect.

Regards, Volker