Plugin for WordPress that highligths syntax in the Editor