Constant html_playground_url 

pub const html_playground_url: Symbol;