londrum - 10:47 am on Jun 25, 2013 (gmt 0)
doesnt wordpress look for the big block of comments at the top of the plugin files? that's the bit that tells wordpress what its name is, who wrote it, the version number, and all of that kind of stuff. maybe just reinstating the comments at the top of the file will do the trick.
if this Zend thing has overwritten those, then that probably explains why they dont show up in the plugins menu -- wordpress cant find any information about them anymore.