php 5.6: dont display timezone version in phpinfo (tzdata patch v11)