diff config/config.php @ 7:23dcd1b5e9c4 default tip

add keywords highlighting on searching result
author Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date Mon, 16 Nov 2015 16:58:39 +0100
parents 4b9ae7d500f9
children
line wrap: on
line diff
--- a/config/config.php	Wed Oct 14 11:01:26 2015 +0200
+++ b/config/config.php	Mon Nov 16 16:58:39 2015 +0100
@@ -1,6 +1,6 @@
 <?php
 
-$at_local = false;
+$at_local = true;
 
 if (!$at_local) {
 	// host at localgazetteers-dev server