Set colorcolumn=80 in php files