Fix php file extension.
Improve diff behavior for tex files.
Activate wincred.