Manual:UpdateCredits.php/de-formal

Details
updateCredits.php is a maintenance script that updates the list of MediaWiki contributors by merging the list of git commit authors into the CREDITS file. The list of contributors is visible on Special:Version/Credits.

Options/Arguments
This script does not take any options or arguments as input.