Definition of $wgDebugMath