Allow child theme to easily load option.php.