<?php echo htmlspecialchars("<Mikey>", ENT_NOQUOTES | ENT_SUBSTITUTE, null, false);
You have javascript disabled. You will not be able to edit any code.