AndroidPlatform $platform property for phpDoc.