Added PHP for server-side theme switching.