Topic on Extension talk:Header Tabs

Fixed. Will be released with the next version > 2.1

Setup

- MediaWiki 1.35.0-rc.2 (5f6c9d1) 17:32, 21 August 2020 - PHP 7.2.24-0ubuntu0.18.04.6 (apache2handler) - Header Tabs 2.0 (36e8e34) 19:30, 25 August 2020

Issue

PHP Notice:  Undefined index: HTTP_HOST in /../w/extensions/HeaderTabs/includes/HeaderTabs.php on line 227
Notice: Undefined index: HTTP_HOST in /../w/extensions/HeaderTabs/includes/HeaderTabs.php on line 227

PHP Notice:  Undefined index: REQUEST_URI in /../w/extensions/HeaderTabs/includes/HeaderTabs.php on line 230
Notice: Undefined index: REQUEST_URI in /../w/extensions/HeaderTabs/includes/HeaderTabs.php on line 230

I had hoped that the new version 2.1 fixes the issue, however it does not. I am on MW 1.35.x

Also reported with Topic:Wb36n29bptdpk7bd

Sorry about that - this was a (slight) bug introduced about a year ago. I just checked in a fix for it.

Affirmative, master works fine. A tag will be great if possible.

Sorry to came back to this issue, but I'm on mediawiki 1.37.1 and right now, during the semantic-mediawiki rebuild, and I can see the same error.

[...]

  ... updating ...                                   19308 / 106374 ( 18%)

PHP Notice:  Undefined index: HTTP_HOST in /var/www/wiki/extensions/HeaderTabs/includes/HeaderTabs.php on line 226

PHP Notice:  Undefined index: REQUEST_URI in /var/www/wiki/extensions/HeaderTabs/includes/HeaderTabs.php on line 229

I checked out from git repo the latest code and changed to branch REL1_37.

You should use the master code, not the REL1_37 branch.