Error thrown

Call to undefined function WPDeveloper\BetterDocs\Core\get_options()