How do I translate Toolbox?

A clarification: I understand that I need to create a [locale].php file but I’m unsure of how it needs to be formed to work.

Just got an excellent tip elsewhere about https://www.icanlocalize.com/tools/php_scanner, which helped me out.

thanks for this