diff --git a/examples/resources/common.js b/examples/resources/common.js index c731a39b59..2609dbbd7c 100644 --- a/examples/resources/common.js +++ b/examples/resources/common.js @@ -10,31 +10,6 @@ }); } - // Check whether links to API-docs of used classes actually point to - // existing html-files: - $('#api-links a').each(function() { - var url = this.href; - $.ajax({ - type: 'HEAD', - url: url, - context: this, - error: function() { - // We get into the error if either the resource didn't exist - // or if HEAD was not allowed (when serving locally via node) - // => remove the