Use startinline for syntax highlighting of PHP
Fix a subtile bug where ` was interpreted in a replacement
Don't interpret $ as svgtex in indented code block
Don't interpret $ as svgtex in inline code