In reply to Danny Brown.

It's called Basic Comment Quicktags https://wptavern.com/basic-comment-quicktags-plugin I'm making an edit to shorten the grey bar as it doesn't match up with the reply button. Instead of presenting a bunch of HTML quicktags people can use, these buttons are much easier. You can configure which ones you want but these 4 are the most used I think.