function has_table_of_contents() { if (class_exists('WebKitTableOfContents')) { return WebKitTableOfContents::hasIndex(); } }