From eaae5b44656f565e08463194ebbc5f1379e157eb Mon Sep 17 00:00:00 2001
From: James Strachan <james.strachan@gmail.com>
Date: Wed, 11 Apr 2012 16:36:00 +0100
Subject: [PATCH] fixed bad property links

---
 .../jetbrains/kotlin/doc/templates/ClassExtensionsTemplate.kt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/libraries/tools/kdoc/src/main/kotlin/org/jetbrains/kotlin/doc/templates/ClassExtensionsTemplate.kt b/libraries/tools/kdoc/src/main/kotlin/org/jetbrains/kotlin/doc/templates/ClassExtensionsTemplate.kt
index bd4892a05c3..507985d9d6f 100644
--- a/libraries/tools/kdoc/src/main/kotlin/org/jetbrains/kotlin/doc/templates/ClassExtensionsTemplate.kt
+++ b/libraries/tools/kdoc/src/main/kotlin/org/jetbrains/kotlin/doc/templates/ClassExtensionsTemplate.kt
@@ -47,4 +47,8 @@ from package ${link(pkg)}
         return if (f.extensionClass != null) "#${f.link}" else super.href(f)
     }
 
+    override fun href(f: KProperty): String {
+        return if (f.extensionClass != null) "#${f.link}" else super.href(f)
+    }
+
 }