# HG changeset patch # User Matti Hamalainen # Date 1395018685 -7200 # Node ID a0a788e1b82ed2e7f5feaa5476f5a625a7995e51 # Parent 800c3dba43f37549aee5131a6e0a3cb3a66983ee Prevent non-cli execution of the makegmaps script. diff -r 800c3dba43f3 -r a0a788e1b82e tools/makegmaps.php --- a/tools/makegmaps.php Mon Mar 17 03:07:09 2014 +0200 +++ b/tools/makegmaps.php Mon Mar 17 03:11:25 2014 +0200 @@ -1,5 +1,9 @@ #!/usr/bin/php