Robin Appelman aa08196c32 some interface work on instant search 13 anni fa
..
index.php b7aba15f17 add search functionality, for now only searches files but plugins/apps can extend that 13 anni fa
part.results.php aa08196c32 some interface work on instant search 13 anni fa