From 41e59c87b110efc547b78be68c50e19bb1e2dfd0 Mon Sep 17 00:00:00 2001
From: Ansgar Becker <anse@heidisql.com>
Date: Sun, 11 Nov 2018 20:12:31 +0100
Subject: [PATCH] Add script to remove annoying IDE-inserted
 ExplicitTop/Left/Height/Width properties

---
 extra/remove-explicit.cmd |  8 ++++++++
 extra/remove-explicit.php | 28 ++++++++++++++++++++++++++++
 2 files changed, 36 insertions(+)
 create mode 100644 extra/remove-explicit.cmd
 create mode 100644 extra/remove-explicit.php

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 @@
+<?php
+
+if($argc < 2) {
+    die("Usage:\n  ".$argv[0]." path\\to\dfmfiles\n");
+}
+
+$path = $argv[1];
+if(!is_dir($path)) {
+    die("Error: \"".$path."\" is not a valid directory.\n");
+}
+
+$files = glob($path.'\\*.dfm');
+#var_dump($files);
+$replaceCountAll = $touchedFileCount = 0;
+foreach($files as $file) {
+    $fileTime = filemtime($file);
+    $dfm = file_get_contents($file);
+    $replaceCount = 0;
+    $dfm = preg_replace('# *Explicit\w+\s+\=\s+\d+\r\n#i', '\\1', $dfm, -1, $replaceCount);
+    if($replaceCount > 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