if ( ! text ) return '?';
var timestamp = parseInt( text.split(/\./)[1] );
var date = new Date(timestamp / 100); // 100000 / 1000
- return date.toISOString().replace(/T/, ' ').replace(/\.[0-9]{3}Z/, '');
+ if ( date.toISOString !== undefined ) {
+ return date.toISOString().replace(/T/, ' ').replace(/\.[0-9]{3}Z/, '');
+ } else {
+ return date.toString();
+ }
}
});