Change theme, and autocmd PHP