Wikimedia Bugzilla is closed!

This is related to Bug 51741, which is about adding support for <references>...</references>

If the page already has <references>..</references>, and the last use of a named reference is removed, the entry inside <references>..</references> needs to be removed otherwise an error is generated after save.

Steps to reproduce:
1. https://de.wikipedia.org/wiki/This_Is_War?veaction=edit
2. Delete one of the named references, e.g. [16] at present
3. Save & Review your changes.

Expected results:
The reference is removed from the content and the references list.

Actual results:
The reference is removed from the content, but it remains in the references list, and if saved the error is:
"Cite error: <ref> tag with name "rockspot_1" defined in <references> is not used in prior text."