plugins/include/topmenus.inc
changeset 1572 adbc41dc9cd0
parent 1526 d7ba44e7a714
child 1634 241bf59d8f4d
     1.1 --- a/plugins/include/topmenus.inc	Mon Oct 15 01:06:06 2007 +0000
     1.2 +++ b/plugins/include/topmenus.inc	Mon Oct 15 04:06:57 2007 +0000
     1.3 @@ -225,7 +225,7 @@
     1.4  /**
     1.5   * Do not edit below this line!
     1.6   */
     1.7 -public Extension:__ext_cstrike = 
     1.8 +public Extension:__ext_topmenus = 
     1.9  {
    1.10  	name = "TopMenus",
    1.11  	file = "topmenus.ext",
    1.12 @@ -241,3 +241,14 @@
    1.13  #endif
    1.14  };
    1.15  
    1.16 +#if !defined REQUIRE_EXTENSIONS
    1.17 +public __ext_topmenus_SetNTVOptional()
    1.18 +{
    1.19 +	MarkNativeAsOptional("CreateTopMenu");
    1.20 +	MarkNativeAsOptional("LoadTopMenuConfig");
    1.21 +	MarkNativeAsOptional("AddToTopMenu");
    1.22 +	MarkNativeAsOptional("RemoveFromTopMenu");
    1.23 +	MarkNativeAsOptional("DisplayTopMenu");
    1.24 +	MarkNativeAsOptional("FindTopMenuCategory");
    1.25 +}
    1.26 +#endif