Manual:DeleteTag.php/de-formal

Details
deleteTag.php is a maintenance script that removes a revision tag from edits and log entries where it was applied.

Common error
This error occurs when an invalid tag name is given. See Special:Tags for valid tag names.
 * Tag '$tag' not found