Follow up r90320. The purpose of wfProfileIn/Out is to profile
[lhc/web/wiklou.git] / includes / diff /
drwxr-xr-x   ..
-rw-r--r-- 32561 DairikiDiff.php
-rw-r--r-- 35682 DifferenceEngine.php
-rw-r--r-- 16560 WikiDiff3.php