Update sfPhastExecutionFilter.class.php