I've been coding for a while to enable window-list extension again...
Today I've got it!!
Then I modded it to aprove 2 features mainly:
1. that extensions didn't handle the event of "minimize/unminimize window", I solved.
2. From 3.1.4, Gnome-Shell has new extension formatting, so I had to scratch the extension.js mostly... Not it works well on 3.1.90, too!!
extension.js of mine is here:
I relly like this extension. Yeah looks like classical gnome-panel's "task manager"... :-)