They didn't specify micro-b just that the phonemakers should settle on a port (which is partially why they didn't mandate it, the hope was that the industry would figure itself out but it didn't). Micro-b at the time was the most popular port for any handheld appliance. USB-C was only published in 2014.