--- a/dictionary/Overview.html Fri Mar 29 10:17:20 2013 +0100
+++ b/dictionary/Overview.html Fri Mar 29 15:18:43 2013 +0100
@@ -608,21 +608,6 @@
});
</script>
- <script class="remove">
- function updateGrammarRefs() {
- $('.grammar-ref').each(function(index) {
- var ref=$(this).attr('data-ref');
- console.log( "updating grammar for " + ref);
-// $('#'+ref).parents("tbody").clone().appendTo($(this));
-
-
- // $(this).replaceWith(function() {return $('#'+ref).parents("tbody").clone()});
-
- $(this).replaceWith($('#'+ref).parents("tbody").clone());
-
- });
- }
- </script>
<script class="remove">
var addExtraReferences = function() {
for (var k in extraReferences)