diff --git a/tools/stats.php b/tools/stats.php index 438d9c8f..0e834271 100755 --- a/tools/stats.php +++ b/tools/stats.php @@ -1,3 +1,4 @@ +#!/usr/bin/php