diff --git a/tags/0.7.2/js/LinksWidget.js b/tags/0.7.2/js/linkswidget.js similarity index 100% rename from tags/0.7.2/js/LinksWidget.js rename to tags/0.7.2/js/linkswidget.js