Convert remainder of topmenus.inc to newdecls.

2015-01-27 18:03:59 -08:00 · 2015-01-27 18:03:59 -08:00 · 5f651f7fde
commit 5f651f7fde
parent eadfec75a4
1 changed files with 1 additions and 1 deletions
--- a/plugins/include/topmenus.inc
+++ b/plugins/include/topmenus.inc
@ -406,7 +406,7 @@ native void SetTopMenuTitleCaching(Handle topmenu, bool cache_titles);
 /**
 * Do not edit below this line!
 */
-public Extension:__ext_topmenus = 
+public Extension __ext_topmenus = 
 {
 	name = "TopMenus",
 	file = "topmenus.ext",