On a related topic - do we need these to be configurable in
config.inc.php? I think these could be moved to a separate file (eg.
libraries/mysql.data.php), along with everything that is in
config.default.php under "MySQL settings" comment. I see no reason
anybody would want to change these, unless you desperately need a user
defined function available in phpMyAdmin interface.
--
Piotr Przybylski