change the way to get svn revision number: the previous method worked for english svn only
Authored by: cochard 2009-12-22
Parent: [r4948]
Child: [r4950]
