Output default value in PHP format.