php - intldateformatter 带有短月份名称和星期几的日期

Question

我正在使用 IntlDateFormatter 使用“FULL”常量格式化日期，结果如下：

2013 年 8 月 29 日星期四

如何获取具有短工作日/月份名称的日期，例如：

2013 年 8 月 29 日星期四

反而？所以像“中等”风格加上工作日。