* add "_lastmodified" timestamp to registry files (don't trust filemtime)

diff --git a/pear/PEAR/Registry.php b/pear/PEAR/Registry.php
index 3d84120bccd829860a060592487805d60de5ee26..30f31ce6f98dacb1d7a39cb9101f4aa4bfc7bb2a 100644 (file)
--- a/pear/PEAR/Registry.php
+++ b/pear/PEAR/Registry.php
@@ -360,6 +360,7 @@ class PEAR_Registry extends PEAR
             $this->_unlock();
             return false;
         }
+        $info['_lastmodified'] = time();
         fwrite($fp, serialize($info));
         $this->_closePackageFile($fp);
         $this->_unlock();
@@ -401,6 +402,7 @@ class PEAR_Registry extends PEAR
             $this->_unlock();
             return false;
         }
+        $info['_lastmodified'] = time();
         if ($merge) {
             fwrite($fp, serialize(array_merge($oldinfo, $info)));
         } else {