Manual:Digit2html.php/de-formal

Details
digit2html.php file is a maintenance script to check digit transformation. For Hindi, Arabic, and other languages with their own numeral systems, MediaWiki uses local numerals instead of Western-style (0-9) numerals in some areas of the interface, as configured by the  mapping array in the system messages file. This script checks this digit transformation.

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