search

SemanticMediaWiki / semantic-mediawiki.org

This is a meta repository allowing to keep track of issues and wishes concerning semantic-mediawiki.org and related websites.
3 stars 3 forks source link

Header Tabs causing JS errors #66

Closed JeroenDeDauw closed 4 years ago

JeroenDeDauw commented 4 years ago

Seeing occasional errors in the browser console

Looks like there where some fixes to Header Tabs already but no release. Can we just pull the latest master? I think that was already done before since latest release is from 2017 and we running 2019 code.

JeroenDeDauw commented 4 years ago

OR... if we are not using Header Tabs, then just ditch the thing?

kghbln commented 4 years ago

OR... if we are not using Header Tabs, then just ditch the thing?

To my regret this is still a system relevant extension. We use it on several spots so we cannot ditch.

Seeing occasional errors in the browser console

Please check if the errors persist now what HeaderTabs is running current master

JeroenDeDauw commented 4 years ago

Seems fixed