mini was