This OO.ui.infuse is not used: ext.abuseFilter.edit.js#563. Additionally, the #wpFilterDeletedLabel element doesn't seem to exist: Code search. (Edit: the element exists actually, see messages below.)
Introduced in these changes, I guess it's an oversight. Just in case, ping @Daimona.