Yes, that PHP button and the colored formatting it gives is what is used on the MyBB how-to forum, and probably many others. We really don't have much use for it here at all. The code that can be used here is pretty basic. I think spaces at the beginnings of lines should work with just plain spaces.
Testing here. Two spaces at the beginning of this line.
Testing here. Two spaces at the beginning of this line.
Phyllis in Ukraine, with Jaan (AO grad), Raia (AO grad), Asya (age 16), Bogdan (age 13)