use string for version number. closes #1100

PHP will localize floats (eg. a 45.5 becomes 45,5 in a German locale).
Using a string will prevent that. A fix has been applied on the server end,
but it makes sense to always send the correct message.

doku.php

@@ -8,8 +8,8 @@
  * @global Input $INPUT
  */
 
-// update message version
-$updateVersion = 47;
+// update message version - always use a string to avoid localized floats!
+$updateVersion = "47";
 
 //  xdebug_start_profiling();
 
@@ -77,7 +77,7 @@ if($DATE_AT) {
         $DATE_AT = null;
     } else if ($rev_t === false) { //page did not exist
         $rev_n = $pagelog->getRelativeRevision($DATE_AT,+1);
-        msg(sprintf($lang['page_nonexist_rev'], 
+        msg(sprintf($lang['page_nonexist_rev'],
             strftime($conf['dformat'],$DATE_AT),
             wl($ID, array('rev' => $rev_n)),
             strftime($conf['dformat'],$rev_n)));