Issue with PHP session

Hello ! ??

I was facing the following issue with your plugin when I tried to access PHPMyAdmin page via the link in your plugin : “ini_set(): Session ini settings cannot be changed when a session is active”.

This error occurs in index.php file in session_pre_pma method.

I solve the issue by adding the line at the beginning of the method like :
public function session_pre_pma(){
if (session_status() === PHP_SESSION_ACTIVE) return;

I not find a github repository to propose a pull request. Do you think my correction can be included in your plugin ?

Regards.