return $offset;
}
+ public static function replaceTabs($line) {
+ while(($pos = strpos($line, "\t")) !== false) {
+ $spacecount = 8 - ($pos % 8);
+ $i = 1;
+ while($line[$pos + $i] == "\t") { //maybe a little bit faster ;)
+ $i++;
+ $spacecount += 8;
+ }
+ $line = substr($line, 0, $pos).str_repeat(' ', $spacecount).substr($line, $pos + $i);
+ }
+ return $line;
+ }
+
}
?>
\ No newline at end of file