fixed the DeviceThemeSwitchTest for php 5.3 compatibility