##// END OF EJS Templates
Update CodeMirror CSS and Javascript files to version 3.15, under MIT-permissive license....
Update CodeMirror CSS and Javascript files to version 3.15, under MIT-permissive license. These files are exactly as they appear the upstream release 3.15 of Codemirror, which was released under an MIT-permissive license. To extract these files, I did the following: I downloaded the following file: http://codemirror.net/codemirror-3.15.zip with sha256sum of: $ sha256sum codemirror-3.15.zip 8cf3a512899852fd4e3833423ea98d34918cbf7ee0e4e0b13f8b5e7b083f21b9 codemirror-3.15.zip And extracted from it the Javascript and CSS files herein committed, which are licensed under the MIT-permissive license, placing them into their locations in: rhodecode/public/{css,js}/ Using the procedure above, the only difference found between these files in RhodeCode 2.2.5 release and herein were a few comments and whitespace. Note that the file .../public/js/mode/meta_ext.js does *not* appear to be part of CodeMirror and therefore is not included in this commit.

File last commit:

r4024:73ef2a5d default
r4120:bb9ef063 rhodecode-2.2.5-gpl
Show More
pullrequest_data.html
24 lines | 910 B | text/html | HtmlLexer
## -*- coding: utf-8 -*-
% for pr in c.pullrequests_pager:
<div class="pr ${'pr-closed' if pr.is_closed() else ''}">
<div class="pr-title">
<img src="${h.url('/images/icons/flag_status_%s.png' % str(pr.last_review_status))}" />
<a href="${h.url('pullrequest_show',repo_name=pr.other_repo.repo_name,pull_request_id=pr.pull_request_id)}">
${_('Pull request #%s opened by %s on %s') % (pr.pull_request_id, pr.author.full_name, h.fmt_date(pr.created_on))}
</a>
%if pr.is_closed():
<span class="pr-closed-tag">${_('Closed')}</span>
%endif
</div>
<h5 style="border:0px;padding-bottom:0px">${_('Title')}: ${pr.title}</h5>
<div class="pr-desc">${pr.description}</div>
</div>
% endfor
<div class="notification-paginator">
<div class="pagination-wh pagination-left">
${c.pullrequests_pager.pager('$link_previous ~2~ $link_next')}
</div>
</div>