1 files changed, 0 insertions, 53 deletions
diff --git a/tools/replace.php b/tools/replace.php
deleted file mode 100755
index 0596ca064..000000000
--- a/tools/replace.php
+++ /dev/null
@@ -1,53 +0,0 @@
-#!/usr/bin/php -qn
-<?php
-if (isset($_SERVER['argc']) && $_SERVER['argc']<=1) 
-{
-  echo "\n";
-  echo 'usage : ', basename($_SERVER['argv'][0]), " <filename>\n";
-  echo "\n";
-  exit(1);
-}
-
-$filename = trim($_SERVER['argv'][1]);
-$lines = file($filename);
-$content = file_get_contents($filename);
-
-$n = 0;
-$nbLines = count($lines);
-
-$pattern = "`(.*{')(.*)('\|@translate}.*)`Um";
-$replace = "'{\''.keyReplace('\\1').'\'|@translate}'";
-
-include "language/templates/common.lang.php";
-include "language/templates/admin.lang.php";
-include "language/templates/upgrade.lang.php";
-include "language/templates/install.lang.php";
-
-while ($n < $nbLines) {
-  preg_match_all($pattern, $lines[$n], $matches);
-  echo str_replace($matches[2], keyReplace($matches[2]), $lines[$n]);
-  $n++;
-}
-
-function keyReplace($key) {
-  global $lang;
-
-  if (is_array($key)) {
-    $translation = array();
-    foreach ($key as $i => $k) {
-      if (isset($lang[$k])) {
-	$translation = addslashes($lang[$k]);
-      } else {
-	$translation = "$k";
-      }      
-    }
-  } else {
-    if (isset($lang[$key])) {
-      $translation = addslashes($lang[$key]);
-    } else {
-      $translation = "$key";
-    }
-  }
-  return $translation;
-}
-?>
-\ No newline at end of file