A patch is currently in Gerrit [1] to alter the way the FlaggedRevs extension formats some timestamps in its API output.
Specifically, the "expiry" attribute generated by action=stabilize, and the "protection_expiry" attribute generated by action=query&prop=flagged, are changed to use an ISO-formatted timestamp (2014-02-13T11:00:00Z) in the output, instead of the current internal format (20140213110000).
This change brings the timestamp formatting of FlaggedRevs into line with the rest of the MediaWiki API, and allows external users to parse the timestamp more easily.
(This may well affect nobody at all: [2] comes to mind!)
TTO
-- [1] https://gerrit.wikimedia.org/r/#/c/76460/ [2] https://bugzilla.wikimedia.org/show_bug.cgi?id=44468#c5