Changed PHP syntax in monitor_tools.inc.php for PHP 5.3 compatibility.

1 job for stable-3.1 in 2 minutes and 45 seconds (queued for 2 seconds)