Updates WPBadger to latest development version. See #785