OK so it got deleted here: https://github.com/joomla/joomla-cms/commit/5eefaea4456f1b19103f32724d9deb3fe6f0c50e But never in com_admin so the file never got deleted from people's installs