Hi,
        
        ich muss einem String x-mal einen Punkt voranstellen.
        
        Bis jetzt mache ich das auf hässliche Art und Weise:
        
        $dots = ".............................................";
        $string = substr($dots, 0, $x) . $string;
        Ja genau: pfui
        
        Alternativ:
      
for(;$x > 0; $x--) {
$string = "." . $string;
}
Richtig: doppelpfui
Gibt es dafür eine halbwegs elegante Lösung (in PHP)?
