strftime：月短名并不总是一样的

Question

我使用strftime获取月份名称的缩短版本。想要的行为是获得3个字母（在我的案例中为法语区域），Jan，Fev，Mar等。

它在我的Mac上工作正常，但在测试服务器（Linux机器盒）上，我得到了其他缩短版本，如janv。，9月。 （带点）等等。

为了得到3个字母怎么改变？

以下是转换示例：

$sDateFin = sprintf(" Fin %s", strftime("%d %b %Y", $tDateFin));