Revision 213
Added by stefan about 20 years ago
| trunk/wb/admin/interface/time_formats.php | ||
|---|---|---|
| 1 | 1 |
<?php |
| 2 | 2 |
|
| 3 |
// $Id: time_formats.php,v 1.1.1.1 2005/01/30 10:30:20 rdjurovich Exp $
|
|
| 3 |
// $Id$ |
|
| 4 | 4 |
|
| 5 | 5 |
/* |
| 6 | 6 |
|
| ... | ... | |
| 43 | 43 |
if(isset($user_time) AND $user_time == true) {
|
| 44 | 44 |
$mktime = mktime()+TIMEZONE; |
| 45 | 45 |
} else {
|
| 46 |
$mktime = mktime(); |
|
| 46 |
$mktime = mktime()+DEFAULT_TIMEZONE;
|
|
| 47 | 47 |
} |
| 48 | 48 |
|
| 49 | 49 |
// Add values to list |
| trunk/wb/admin/interface/date_formats.php | ||
|---|---|---|
| 1 | 1 |
<?php |
| 2 | 2 |
|
| 3 |
// $Id: date_formats.php,v 1.1.1.1 2005/01/30 10:30:21 rdjurovich Exp $
|
|
| 3 |
// $Id$ |
|
| 4 | 4 |
|
| 5 | 5 |
/* |
| 6 | 6 |
|
| ... | ... | |
| 43 | 43 |
if(isset($user_time) AND $user_time == true) {
|
| 44 | 44 |
$mktime = mktime()+TIMEZONE; |
| 45 | 45 |
} else {
|
| 46 |
$mktime = mktime(); |
|
| 46 |
$mktime = mktime()+DEFAULT_TIMEZONE;
|
|
| 47 | 47 |
} |
| 48 | 48 |
|
| 49 | 49 |
// Add values to list |
Also available in: Unified diff
Fixed bug #45 - incorrect display of time in settings.