Remove $wgDebugProfiling. It appears to be unused.
authorBrian Wolff <bawolff+wn@gmail.com>
Fri, 28 Feb 2014 04:53:58 +0000 (00:53 -0400)
committerBrian Wolff <bawolff+wn@gmail.com>
Fri, 28 Feb 2014 04:53:58 +0000 (00:53 -0400)
commit09a82a4b7bdd5fe3dd9765541ca1a67bb3521d86
tree019b73933e2e96fe2b8fe58b4a62b255156e6766
parent830eb262fe76ef3ad49f91daad5e152af8ce9bc4
Remove $wgDebugProfiling. It appears to be unused.

Not sure what happened to it, but grep suggests the option no
longer does anything.

Change-Id: I0d515551cd0d6cfd5b027be71ada714f6ebeb5ab
includes/DefaultSettings.php