Manual:AddChangeTag.php/de-formal

Details
addChangeTag.php file is a maintenance script to create a change tag.