P281424/AMR
1
0
Fork 0
mirror of https://github.com/msberends/AMR.git synced 2025-10-31 02:48:21 +01:00
Code Releases Activity

Built site for AMR: 1.8.2.9031@d0b54f6

Browse Source
This commit is contained in:
github-actions
2022-10-21 20:03:48 +00:00
parent b45431b86c
commit 560396124f
95 changed files with 524 additions and 513 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
extra.js
View File

@@ -31,8 +31,9 @@
$(document).ready(function() {
// Replace 'Developers' with 'Maintainers' on the main page
// Replace 'Developers' with 'Maintainers' on the main page, and "Contributors" on the Authors page
$(".developers h2").text("Maintainers");
$(".citation h2").text("Contributors");
// replace \donttest and \dontrun texts in Examples
if ($("#ref-examples ~ div pre").length > 0) {
@@ -52,18 +53,18 @@ $(document).ready(function() {
if (typeof(x) != "undefined") {
x = x.replace(/Author, maintainer/g, "Principle developer");
x = x.replace(/Author, contributor/g, "Contributing maintainer");
x = x.replace(/Author, thesis advisor/g, "Doctoral advisor");
x = x.replace(/Thesis advisor/g, "Doctoral advisor");
// authors
x = x.replace("Alex", "Prof. Dr. Alex");
x = x.replace(/Thesis advisor/g, "(former) Doctoral advisor");
// contributors
x = x.replace("Alex", "Prof. Alex");
x = x.replace("Anthony", "Dr. Anthony");
x = x.replace("Bart", "Dr. Bart");
x = x.replace("Bhanu", "Prof. Dr. Bhanu");
x = x.replace("Casper", "Prof. Dr. Casper");
x = x.replace("Bhanu", "Prof. Bhanu");
x = x.replace("Casper", "Prof. Casper");
x = x.replace("Christian", "Dr. Christian");
x = x.replace("Corinna", "Dr. Corinna");
x = x.replace("Dennis", "Dr. Dennis");
x = x.replace("Gwen", "Dr. Gwen");
x = x.replace("Jonas", "Dr. Jonas");
x = x.replace("Judith", "Dr. Judith");
x = x.replace("Matthijs", "Dr. Matthijs");
x = x.replace("Peter", "Dr. Peter");