@cebe I see your fix add `<code class="language-foobar">` but is it worthwhile to add?

I guess the class name can be used by some other javascript to highlight itself but, in this case this php code already colorized and it might have no effect or confused to add "language-foobar" class name