Manual:$wgProfileOnly/fr

Details
Don't put non-profiling info into log file

Since MediaWiki 1.23, you can set the log file in  to achieve the same functionality.