I started a new thread to make it easier to find.

I've updated the search timer plugin and added a user option to allow you to specify the number of decimal places to show.

You just need to put <%search_time%> in your search_results.html template.

Attached is the plugin.

Thanks.

(Let me know how it works)

PS. Remember you need Time::HiRes for it to work.