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.