Merge pull request #308 from jcb91/config/main

use extension name & description as html to…
2026-09-09 11:25:07 +08:00 · 2015-09-23 18:31:29 +02:00
parent f09e66ec5a f27bd64c32
commit fc01892373
1 changed files with 2 additions and 2 deletions
@@ -365,7 +365,7 @@ require([

                // Extension name
                var ext_name_head = $('<div>', {'class': 'h3 nbext-title'});
-                ext_name_head.text(extension.Name);
+                ext_name_head.html(extension.Name);
                ext_name_head.appendTo(col_left);

                // Extension compatibility & description
@@ -374,7 +374,7 @@ require([

                if (extension.hasOwnProperty('Description')) {
                    div_compat_and_desc.append(
-                        $('<p/>').text(extension['Description'])
+                        $('<p/>').html(extension['Description'])
                    );
                }