perf on a random app server showed >1.4% of all cycles being spent in array_change_key_case() in AutoLoader.php#59. This code is only hit if $wgAutoloadAttemptLowercase is true. Is it still needed?
Capturing messages on the autoloader debug log channel could help determining that. If it's not needed, setting this config var to false would be a easy modest performance win.