MediaWiki master
|
Utility class to parse the TimeCorrection string value. More...
Inherits Stringable.
Public Member Functions | |
__construct (string $timeCorrection, DateTime $relativeToDate=null, int $systemOffset=0) | |
__toString () | |
getCorrectionType () | |
Get time offset for a user. | |
getTimeOffset () | |
Get corresponding time offset for this correction Note: When correcting dates/times, apply only the offset OR the time zone, not both. | |
getTimeOffsetInterval () | |
Get corresponding time offset for this correction Note: When correcting dates/times, apply only the offset OR the time zone, not both. | |
getTimeZone () | |
The time zone if known Note: When correcting dates/times, apply only the offset OR the time zone, not both. | |
isValid () | |
Was the original correction specification valid. | |
toString () | |
Note: The string value of this object might not be equal to the original value. | |
Static Public Member Functions | |
static | formatTimezoneOffset (int $offset) |
Converts a timezone offset in minutes (e.g., "120") to an hh:mm string like "+02:00". | |
Utility class to parse the TimeCorrection string value.
These values are used to specify the time offset for a user and are stored in the database as a user preference and returned by the preferences APIs
The class will correct invalid input and adjusts timezone offsets to applicable dates, taking into account DST etc.
Definition at line 44 of file UserTimeCorrection.php.
MediaWiki\User\UserTimeCorrection::__construct | ( | string | $timeCorrection, |
DateTime | $relativeToDate = null, | ||
int | $systemOffset = 0 ) |
string | $timeCorrection | Original time correction string |
DateTime | null | $relativeToDate | The date used to calculate the time zone offset of. This defaults to the current date and time. |
int | $systemOffset | Offset for self::SYSTEM in minutes |
Definition at line 79 of file UserTimeCorrection.php.
MediaWiki\User\UserTimeCorrection::__toString | ( | ) |
Definition at line 267 of file UserTimeCorrection.php.
|
static |
Converts a timezone offset in minutes (e.g., "120") to an hh:mm string like "+02:00".
int | $offset |
Definition at line 244 of file UserTimeCorrection.php.
MediaWiki\User\UserTimeCorrection::getCorrectionType | ( | ) |
Get time offset for a user.
Definition at line 94 of file UserTimeCorrection.php.
MediaWiki\User\UserTimeCorrection::getTimeOffset | ( | ) |
Get corresponding time offset for this correction Note: When correcting dates/times, apply only the offset OR the time zone, not both.
Definition at line 103 of file UserTimeCorrection.php.
MediaWiki\User\UserTimeCorrection::getTimeOffsetInterval | ( | ) |
Get corresponding time offset for this correction Note: When correcting dates/times, apply only the offset OR the time zone, not both.
Definition at line 112 of file UserTimeCorrection.php.
MediaWiki\User\UserTimeCorrection::getTimeZone | ( | ) |
The time zone if known Note: When correcting dates/times, apply only the offset OR the time zone, not both.
Definition at line 126 of file UserTimeCorrection.php.
MediaWiki\User\UserTimeCorrection::isValid | ( | ) |
Was the original correction specification valid.
Definition at line 134 of file UserTimeCorrection.php.
MediaWiki\User\UserTimeCorrection::toString | ( | ) |
Note: The string value of this object might not be equal to the original value.
Definition at line 253 of file UserTimeCorrection.php.