plugins/SpecialUserPrefs.php
changeset 893 b24601274cd2
parent 836 f8199a8d6153
child 922 d6f391475bb9
equal deleted inserted replaced
892:668e6a9adf99 893:b24601274cd2
  1038             </div>';
  1038             </div>';
  1039       
  1039       
  1040       break;
  1040       break;
  1041     default:
  1041     default:
  1042       $good = false;
  1042       $good = false;
  1043       $code = $plugins->setHook('userprefs_body');
  1043       $code = $plugins->setHook('userprefs_body', true);
  1044       foreach ( $code as $cmd )
  1044       foreach ( $code as $cmd )
  1045       {
  1045       {
  1046         if ( eval($cmd) )
  1046         if ( eval($cmd) )
  1047           $good = true;
  1047           $good = true;
  1048       }
  1048       }