Ticket #12580: 12580.diff

options-general.php

@@ -150 +150 @@
         <span id="local-time"><?php printf(__('UTC %1$s is <code>%2$s</code>'), $current_offset_name, date_i18n($time_format)); ?></span>
 <?php endif; ?>
 <br />
-<span class="description"><?php _e('Unfortunately, you have to manually update this for daylight saving time. Lame, we know, but will be fixed in the future.'); ?></span>
+<span class="description"><?php _e('Unfortunately, you have to manually update this for daylight saving time. It looks like the php timezones library is not installed or enabled on your server. Please contact your web host for more information!'); ?></span>
 </td>
 <?php
 else: // looks like we can do nice timezone selection!