Merge "Don't show the "permissions error" page after a user self-removes rights"
[lhc/web/wiklou.git] / includes / diff /
drwxr-xr-x   ..
-rw-r--r-- 35556 DairikiDiff.php
-rw-r--r-- 37244 DifferenceEngine.php
-rw-r--r-- 16592 WikiDiff3.php