Adel Gadllah 64cd51667d Add String formatting ...

Add String formatting by extending the String object with a
format method.

Now we can do stuff like "Text: %s, %d".format(somevar, 5)

This is required for proper translation of some strings.

https://bugzilla.gnome.org/show_bug.cgi?id=595661

2009-10-04 23:37:33 +02:00

..

format.js

Add String formatting

2009-10-04 23:37:33 +02:00