oder php settings and update some

there is no version < 7.03 in use any more, so update formatopts
add endofline setting