| 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