s0600204 c7485492c5 Use setStringTags in credits.js ...

As pointed out by elexis in D1695:
> "font=" strings are superseded by setStringTags()

So while we're doing work in that file, let's fix that.

This was SVN commit r22046.

2019-01-10 16:49:36 +00:00

..

data

Use setStringTags in credits.js

2019-01-10 16:49:36 +00:00

logs

…

system

…