Inline docs for customizer.php