The 9-oz milkshakes are available in Vanilla, Chocolate, and Strawberry flavors and come crowned with whip topping. Oreo Shakes don't appear to be available in Mini form but that might vary with location.
Interestingly, Del Taco introduced Mini Shakes on a permanent basis as part of their value menu back in 2017. Del Taco's Mini Shakes are also 9 ounces and come in Vanilla, Chocolate, and Strawberry flavors (although those are very common shake flavors).
Photo via Burger King.