config.inc.php: fix whitespace error, no functional changes