Exporting a gettext without history results in PHP Notice: Undefined index: HEADERS in /var/www/w/extensions/Translate/ffs/Gettext.php on line 98
URL to reproduce: [1]
It looks as if the code assumed that HEADERS are always there. The export result looks OK.
Version: unspecified
Severity: minor