| Index: branches/wmf/1.17wmf1/extensions/MobileFrontend/MobileFrontend.php |
| — | — | @@ -158,7 +158,6 @@ |
| 159 | 159 | $wurflManagerFactory = new WURFL_WURFLManagerFactory( $wurflConfig ); |
| 160 | 160 | $wurflManager = $wurflManagerFactory->create(); |
| 161 | 161 | $device = $wurflManager->getDeviceForHttpRequest( $_SERVER ); |
| 162 | | - $props = $device->getAllCapabilities(); |
| 163 | 162 | |
| 164 | 163 | if ( $device->isSpecific() === true ) { |
| 165 | 164 | $props = $device->getAllCapabilities(); |