EXTJS 3 API转换日期时间
在EXTJS 3中，如果我有像'Fri Jul 13 00:00:00 EDT 2012'这样的字符串，如何获取日期字符串'07/13/2012'？ EXTJS是否有一些API来处理这个问题？
谢谢
----更新---我找到了一个方法，就像这样
if (Ext.isDate("Fri Jul 13 00:00:00 EDT 2012")) {
var date1 = new Date("Fri Jul 13 00:00:00 EDT 2012");
var start_str = date1.format('m/d/Y');
}
我并不确定ExtJS的具体情况，但是这里有一个非常类似的问题和文档的答案链接。 但值得检查的问题只是为了答案中的例子！
在纯Javascript实现中，正则表达式可能是一种可行的方式。 有很多正则表达式示例可用，甚至有几个生成器可以让你的生活更轻松，如果你对正则表达式不太自信的话。 以下是该网站生成的代码示例 - jsFiddle链接。 （这不是做正则表达式的最简单的方法，当你使用一个生成器时，它实际上会留下很多不幸的东西， 但它确实有效，并且给出了一个体面的起点！ ）
仔细检查字符串后，我注意到它使用文本来表示本月。 这可以通过使用枚举来解决。
就ExtJS而言 - 这里有一篇相当不错的博客文章，介绍一些日期格式选项。 但我认为答案顶部的文档是最佳观看地点。
JavaScript的Date对象应该在这里提供你需要的一切：
var d = new Date('Fri Jul 13 00:00:00 EDT 2012');
var out = (d.getMonth()+1) + '/' + d.getDate() + '/' + d.getFullYear()