Changed file encoding to utf8

tbrehm

2012-05-21 3c53e35464f1cdd5c40717eb2b7e85f999a80eca

 server/lib/classes/monitor_tools.inc.php

@@ -241,10 +241,12 @@
                  $data['user'][$username]['used'] += $s[2];
                  $data['user'][$username]['soft'] += $s[3];
                  $data['user'][$username]['hard'] += $s[4];
                  $data['user'][$username]['files'] += $s[5];
               } else {
                  $data['user'][$username]['used'] = $s[2];
                  $data['user'][$username]['soft'] = $s[3];
                  $data['user'][$username]['hard'] = $s[4];
                  $data['user'][$username]['files'] = $s[5];
               }
            }
         }