Stéphane Goetz 75f34cae30 Put search field in separate template		2019-09-09 19:56:14 +02:00
..
google_analytics.php	New templating system	2015-07-20 20:49:09 +02:00
navbar_content.php	Support translations for the UI, fixes #1	2017-10-19 22:18:46 +02:00
piwik_analytics.php	New templating system	2015-07-20 20:49:09 +02:00
search_script.php	Put search field in separate template	2019-09-09 19:56:14 +02:00
table_of_contents.php	Manage table of contents differently	2017-12-11 21:14:18 +01:00