Slash comments for PHP