Morris Jobke c1e4f9f305 Use type casting instead of *val() method ... It should be up to 6x faster Signed-off-by: Morris Jobke <hey@morrisjobke.de>		2018-01-26 11:35:42 +07:00
..
ISearch.php	make it possible to register plugins and kick out the circle one	2017-09-26 23:10:23 +07:00
ISearchPlugin.php	…
ISearchResult.php	don't keep result types hard coded	2017-09-26 23:10:23 +07:00
SearchResultType.php	Use type casting instead of *val() method	2018-01-26 11:35:42 +07:00