Index: tools.php =================================================================== --- tools.php (revision 17916) +++ tools.php (working copy) @@ -34,7 +34,7 @@