Thread:Project:Support desk/List of markups in edit page/reply (3)

You're right, it is EditTools. EditTools is a gadget, though. Do you have Extension:Gadgets installed?