Board Thread:Support Requests - Getting Technical/@comment-6969786-20160709090513/@comment-27231734-20160709090659

It's a custom JS add on, you can find it on the Dev Wiki.