Merge "Kill DeviceDetection"
authorawjrichards <arichards@wikimedia.org>
Mon, 26 Nov 2012 20:57:11 +0000 (20:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 26 Nov 2012 20:57:11 +0000 (20:57 +0000)
commit720a6824257ff1af1559efebee98a1b0debd98d9
treebca5c46c4d671f34f08cb88a9f1dbf72470b017c
parent2551f86dca9ac9d021f82596dd932f572dd34396
parent56f4c805ac4d04c0b4096a07c0603929726b40b8
Merge "Kill DeviceDetection"
includes/AutoLoader.php
includes/DefaultSettings.php