Clean up the mess that is wfDie (resolves r85918). wfDie() doesn't exist anymore...
[lhc/web/wiklou.git] / maintenance / gearman /
drwxr-xr-x   ..
-rw-r--r-- 2676 gearman.inc
-rw-r--r-- 1067 gearmanRefreshLinks.php
-rw-r--r-- 1032 gearmanWorker.php