Update docs_config.php