What tools were used to produced the wpmudev wpadminbar

I’m most curious what was used for the branded dropdown with the custom links inside it.

Thanks in advance…