Manual:DoubleReplacer.php