added some tweaks to ensure php is filtered when Full HTML is selected