With following source code I get different outputs on dev (local-maxOSX) and live (debian):
setlocale(LC_TIME, 'de_DE' );
$intervalOutput = strftime('%a %d.%m. %H:%M', $start->getTimestamp());
echo $intervalOutput;
local (correct formatting of the day): Do 01.03. 20:00
live server (incorrect- i need german weekday output): Thu 01.03. 20:00
Can someone tell my why this happens?