That video is of the new in-park app (which the Wired article refers to as Mobile Magic) they are testing in Epcot that uses refurbed HTC Eris phones (which are Android-based). It may or may not be billed as "Mobile Magic", it isn't clear from the video that it is currently called that, and it is uncertain whether it will make it out of the parks, but it DOES mean that they are programming for the Android platform.
I mentioned elsewhere (probably on Facebook) that if there is a Verizon-exclusive deal, it could hamper releasing an Android-based application as I have not seen any provider-exclusive applications for Android. And they'd have to allow for the variance in Android platforms. The article mentions it uses the HTC Sense UI, which is an add-on exclusive to HTC phones.
