Hide tags button?

[Jackalope]

Is there a hide tags button somewhere or do you really have to type out the code every time you want to hide something?

No. Yes.

(And what does the PHP code button do?)

Just curious...

It's not terribly useful for non-programmers. It lets you quote PHP code and prettifies it.

PHP Code:

<?php
echo "Hello World!";
?>