Added dummy wfLogProfilingData() to avoid php warnings when profiling is disabled
authorMr. E23 <e23@users.mediawiki.org>
Sat, 13 Aug 2005 13:23:22 +0000 (13:23 +0000)
committerMr. E23 <e23@users.mediawiki.org>
Sat, 13 Aug 2005 13:23:22 +0000 (13:23 +0000)
commitea2a812e564fbfb5aecbf41443551ab8b952a512
treedd579a698037c12d1132d3fd4b1869189a976f9e
parent9c692c5310da1a98dd0d631eb97173e69e55e772
Added dummy wfLogProfilingData() to avoid php warnings when profiling is disabled
includes/Setup.php