fix of quick-dump broken when I rewrote locallib.php