What is the name of this extension called?

[DailyCookiez]

I don’t know what to type in to get the mini menus extension. Any help?

[Trr]

riknoll/arcade-mini-menu

[Peau12]

riknoll/arcade-mini-menu
Made by @richard!

[DailyCookiez]

tysm!