Fix for issue #4512 : Add option to display only stats when dumping database

ludovicp

25.17.2010 85d65da981291218ad23c9161a04dfdb5481badc

1
INFO_LOG_EXTENSION_INFORMATION_571=Za\u0142adowano rozszerzenia z pliku '%s' (kompilacja %s, rewizja %s)