We see now that World of Warcraft is receiving a new mini-patch that is wedged between some big patches. It wears the number 7.2.5…