Uwe Steinmann 5a22a51943 run external command with timeout		2015-08-05 21:10:49 +02:00
..
IndexedDocument.php	run external command with timeout	2015-08-05 21:10:49 +02:00
Indexer.php	make open() static	2014-06-18 15:18:57 +02:00
Search.php	search() returns false if query term causes an exception	2013-08-13 22:08:47 +02:00