syntax highlighting

[snippsat]

I think we should remove the php code button as it makes it more confusing.

Yes agree,should be the main button for code tag.
Maybe we could remove both,seem work fine for all cases.

¨¨ `.,/*-+ just some sign test "#@£ 12999 <hello> """fine""" or '----'

Just some text 1234

print('hello world')

Now using V4, wiht no plugin, how are you switching between them?

I have build all Theme local,so now it's direct change to CSS file on server.