Fix PHP warning

7 years ago · 1c04dc92b3
parent 91017f7cd4
commit 1c04dc92b3
1 changed files with 1 additions and 1 deletions
--- a/plugin/nosearchindex/plugin.php
+++ b/plugin/nosearchindex/plugin.php
@ -24,7 +24,7 @@ if ($isPlatformAdmin) {

    $form = $plugin_info['settings_form'];

-    if ($form->validate()) {
+    if ($form && $form->validate()) {
        $values = $form->getSubmitValues();
        $contents = file_get_contents($originalFile);
        $extraContentFile = api_get_home_path().'header_extra_content.txt';