A lint error was accidentally introduced recently when two PRs changed the same area of code (#9793 and #9795). They didn't conflict, and the lint passed for both, but when combined they left an unused variable.
