Topic on Extension talk:Header Tabs/Archive 2

When running scripts I get PHP Notice: Undefined index:

7
Summary by Kghbln

Fixed. Will be released with the next version > 2.1

Kghbln (talkcontribs)
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
Kghbln (talkcontribs)

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

Kghbln (talkcontribs)
Yaron Koren (talkcontribs)

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

Kghbln (talkcontribs)

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

Helioloureiro (talkcontribs)

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.

Yaron Koren (talkcontribs)

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

Reply to "When running scripts I get PHP Notice: Undefined index:"