adding workaround for php bug 49143 in the autoloader
authordaniel <daniel.kinzler@wikimedia.de>
Thu, 24 May 2012 13:30:13 +0000 (15:30 +0200)
committerdaniel <daniel.kinzler@wikimedia.de>
Thu, 24 May 2012 13:30:13 +0000 (15:30 +0200)
commitedbde294704c2d3ef40bc73a02b0480f33608e22
treee82e6be4f6711cbf02a93c48f6d7338d867ac357
parent2f9927e9d981d948d8da41ac9bf20a83bc1669e9
adding workaround for php bug 49143 in the autoloader
includes/AutoLoader.php