Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceFoundation  88e74301e944c139bfb8869d4fa7e51e8b13d382

Minor profiling fix

if wfProfileOut() is missing it increases memory peak while profiling
and profiling provides invalid results

Change-Id: I0612c21f40f1cc9f0396830a4ef5599a158d22fb