Besoin d'un fichier d'origine sous Gnome 3 (Wheezy)

Bonjour à tous,

Je cherche le fichier /usr/share/gnome-shell/js/ui/panel.js

Juste un petit copier/coller du fichier d’origine s’vous plaît :]

Et voilà, je suis encore allé trop vite et j’ai pas réfléchi. Après avoir réinstallé tout l’bins, je l’ai comme neuf mon fichier !