Merge "improving comment re DateFormatter.php"