From 72b7c8d2912b062e421bf17a584835e2ac66c124 Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Sat, 5 May 2018 16:36:49 +0200 Subject: [PATCH] Remove extra span tags --- src/librustdoc/html/static/main.js | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index 8c4dac9238ce9..b8d861d376f25 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -57,6 +57,12 @@ return this.indexOf(searchString, position) === position; }; } + if (!String.prototype.endsWith) { + String.prototype.endsWith = function(suffix, length) { + var l = length || this.length; + return this.indexOf(suffix, l - suffix.length) !== -1; + }; + } function getPageId() { var id = document.location.href.split('#')[1]; @@ -1234,7 +1240,11 @@ } function pathSplitter(path) { - return '' + path.replace(/::/g, '::'); + var tmp = '' + path.replace(/::/g, '::'); + if (tmp.endsWith("")) { + return tmp.slice(0, tmp.length - 6); + } + return tmp; } function addTab(array, query, display) {