diff php/save.php @ 3089:a169e79ba224

Merge branch 'master' into vnext

--- a/php/save.php	Tue Jan 09 16:27:50 2018 +0000
+++ b/php/save.php	Fri Jan 12 15:40:26 2018 +0000
@@ -79,7 +79,7 @@
     $sn1 = findNodeByAttribute($n1, "location", "pre");
     $sn2 = findNodeByAttribute($n2, "location", "pre");
     if ($sn1 != 0) {
-        if ($sn2 != 0 && $sn2.getAttribute("state") != "complete") {
+        if ($sn2 != 0) {
             $saved_root->removeChild($sn2);
             $sn2 = 0;
         }
@@ -92,7 +92,7 @@
     $sn1 = findNodeByAttribute($n1, "location", "post");
     $sn2 = findNodeByAttribute($n2, "location", "post");
     if ($sn1 != 0) {
-        if ($sn2 != 0 && $sn2.getAttribute("state") != "complete") {
+        if ($sn2 != 0) {
             $saved_root->removeChild($sn2);
             $sn2 = 0;
         }
@@ -114,7 +114,7 @@
         $ref = $page->getAttribute("ref");
         if (!empty($ref)) {
             $pn2 = findNodeByAttribute($n2, "ref", $ref);
-            if ($pn2 != 0 && $pn2.getAttribute("state") != "complete") {
+            if ($pn2 != 0) {
                 $saved_root->removeChild($pn2);
                 $pn2 = 0;
             }