diff --git a/extra/remove-explicit.cmd b/extra/remove-explicit.cmd new file mode 100644 index 00000000..a5858e4c --- /dev/null +++ b/extra/remove-explicit.cmd @@ -0,0 +1,8 @@ +@echo off + +rem ensure current directory is where this file lives +set olddir=%CD% +cd %~dp0 +php remove-explicit.php ..\source\ +cd %olddir% +pause \ No newline at end of file diff --git a/extra/remove-explicit.php b/extra/remove-explicit.php new file mode 100644 index 00000000..b2f33b57 --- /dev/null +++ b/extra/remove-explicit.php @@ -0,0 +1,28 @@ + 0) { + $replaceCountAll += $replaceCount; + $touchedFileCount++; + file_put_contents($file, $dfm); + touch($file, $fileTime); + } +} + +echo $replaceCountAll." lines from ".$touchedFileCount." files removed\n"; \ No newline at end of file