summaryrefslogtreecommitdiff
path: root/js/codeq
diff options
context:
space:
mode:
Diffstat (limited to 'js/codeq')
-rw-r--r--js/codeq/problem_list.js10
1 files changed, 10 insertions, 0 deletions
diff --git a/js/codeq/problem_list.js b/js/codeq/problem_list.js
index 7f1343d..a281afb 100644
--- a/js/codeq/problem_list.js
+++ b/js/codeq/problem_list.js
@@ -227,6 +227,16 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */
// title: HTML structure for "name" and "desc"
html.push('<h1 class="language-title" ', ta(langDict.name), '></h1><hr>');
html.push('<div class="language-description" ', ta(langDict.description), '></div>');
+ if (li === 'prolog') {
+ for (i = 0; i < codeq.experiments.length; i++) {
+ if (codeq.experiments[i]['id'] == 'prolog_hints') {
+ html.push('<div><a target="_blank" href="https://ailab.si/codeq-survey.php' +
+ '?group=' + codeq.experiments[i]['group'] +
+ '&check=' + $('#profile-username').text().slice(-1) +
+ '">Izpolni anketo o CodeQ.</a></div>');
+ }
+ }
+ }
// content: problem directory
for (i = 0; i < groups.length; i++) {