plugins/include/adminmenu.inc
changeset 1572 adbc41dc9cd0
parent 1523 417c14cb729a
child 1626 8775cc33c01e
     1.1 --- a/plugins/include/adminmenu.inc	Mon Oct 15 01:06:06 2007 +0000
     1.2 +++ b/plugins/include/adminmenu.inc	Mon Oct 15 04:06:57 2007 +0000
     1.3 @@ -126,9 +126,10 @@
     1.4  #endif
     1.5  };
     1.6  
     1.7 +#if !defined REQUIRE_PLUGIN
     1.8  public __pl_adminmenu_SetNTVOptional()
     1.9  {
    1.10  	MarkNativeAsOptional("GetAdminTopMenu");
    1.11  	MarkNativeAsOptional("AddTargetsToMenu");
    1.12  }
    1.13 -
    1.14 +#endif