DEV: Remove very old mocha deprecation workaround (PR #12151)

GitHub