From 5f651f7fde59a2013cd813721a54b10093564aa6 Mon Sep 17 00:00:00 2001
From: Nicholas Hastings <nshastings@gmail.com>
Date: Tue, 27 Jan 2015 18:03:59 -0800
Subject: [PATCH] Convert remainder of topmenus.inc to newdecls.

---
 plugins/include/topmenus.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/include/topmenus.inc b/plugins/include/topmenus.inc
index ed54d2ce5..24fd92917 100644
--- 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",