Last modified: 2009-02-28 19:50:31 UTC

Wikimedia Bugzilla is closed!

Wikimedia has migrated from Bugzilla to Phabricator. Bug reports should be created and updated in Wikimedia Phabricator instead. Please create an account in Phabricator and add your Bugzilla email address to it.
Wikimedia Bugzilla is read-only. If you try to edit or create any bug report in Bugzilla you will be shown an intentional error message.
In order to access the Phabricator task corresponding to a Bugzilla report, just remove "static-" from its URL.
You could still run searches in Bugzilla or access your list of votes but bug reports will obviously not be up-to-date in Bugzilla.
Bug 11929 - use DateTime in #time
use DateTime in #time
Status: RESOLVED DUPLICATE of bug 11686
Product: MediaWiki extensions
Classification: Unclassified
ParserFunctions (Other open bugs)
unspecified
All All
: Normal normal with 2 votes (vote)
: ---
Assigned To: Nobody - You can work on this!
:
Depends on:
Blocks:
  Show dependency treegraph
 
Reported: 2007-11-10 23:25 UTC by Carl Fürstenberg
Modified: 2009-02-28 19:50 UTC (History)
2 users (show)

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---


Attachments

Description Carl Fürstenberg 2007-11-10 23:25:44 UTC
Since php 5.1.0 there is possible to use the DateTime to handle dates, and in contrast with the older functions (strtotime etc..) it handles 64 bit times.

The following example:

$date =new DateTime("1 January 1365 - 30 min - 367 days");
$date->setTimezone( new DateTimezone('GMT') );
print $date->format("c");

results in:

1363-12-30T22:30:00+00:00
Comment 1 Niklas Laxström 2009-02-28 19:50:31 UTC

*** This bug has been marked as a duplicate of bug 11686 ***

Note You need to log in before you can comment on or make changes to this bug.


Navigation
Links