wd-extensions.js: remove ignored callback argument