For example:
in the dropdown, selecting "test marked texts" gives this:
Reason for this:
The code eventually does a header Location redirect to Location: do_test.php?selection=1, but it loses the session variable (eg in the PHP err log it says [07-Nov-2022 01:36:29 UTC] PHP Notice: Undefined variable: _SESSION ). This can happen with PHP redirects, apparently (ref https://stackoverflow.com/questions/17242346/php-session-lost-after-redirect).
I'll submit a fix.
For example:
in the dropdown, selecting "test marked texts" gives this:
Reason for this:
The code eventually does a header Location redirect to
Location: do_test.php?selection=1, but it loses the session variable (eg in the PHP err log it says[07-Nov-2022 01:36:29 UTC] PHP Notice: Undefined variable: _SESSION). This can happen with PHP redirects, apparently (ref https://stackoverflow.com/questions/17242346/php-session-lost-after-redirect).I'll submit a fix.