Php file extensions

This is PR from a branch. Already merged ones showed-up due to them being in history.