I think the `reply-to` header should be set to the mailing list address so
that the default reply goes to the list and not to the original sender
only. I think this was also the case with the old mailing list.
you wrote in your blog "I carried out further performance analysis for
page-related settings by profiling performance with xdebug. The function
call to PMA_userprefsPageInit() takes most of the time. I couldn't see
any way to reduce this time, though."
In PMA_userprefsPageInit() there are five functions called; did you
verify which of those is taking most of the time?
Marc Delisle | phpMyAdmin
The phpMyAdmin team is changing mailing list servers. For the most part,
this should be rather seemless aside from needing to update your address
books. Users who had been receiving a digest message will need to edit
their preference again at https://lists.phpmyadmin.net (or
http://lists.phpmyadmin.net/mailman/listinfo/developers directly for
this particular mailing list).
The new mailing list address is developers(a)phpmyadmin.net.
Other lists are also being migrated; you may or may not receive several
notices like this for the other addresses.
If you notice any trouble with the migration, feel free to reply to me