Bug-fix/cosmetic releases?

[shawn_a]

Mike,

If you replace the function by the one I posted, you can also uncomment line 65 in plugin_functions.php -- it works better.

(As a reminder, all this should fix what @shawn_a reported: in 3.1 plugins.xml does not get updated if you rename a plugin file, or if you add one and remove other at once -- that is, if the number of plugin files doesn't change)

I've been out of town, Il'l try to give this a test also. Nice solution, I didn't realize we already had a file array store.