User guide
Developer documentation
Defined in File logging.cpp
process_log_options — process the string given as parameter to determine which debugging options are enabled and return a log_level describing them