Sfoglia il codice sorgente

Bugfix. This should fix the refresh problem.

philippe_mingo 23 anni fa
parent
commit
94e2ade769
1 ha cambiato i file con 1 aggiunte e 0 eliminazioni
  1. 1 0
      plugins/filters/setup.php

+ 1 - 0
plugins/filters/setup.php

@@ -73,6 +73,7 @@
    }
 
    function filters_special_mailbox( $mb ) {
+       GLOBAL $data_dir, $username;
 
        if ( $mb == getPref($data_dir, $username, 'filters_spam_folder', 'na' ) ) {
            return( TRUE );