/* get the page language */
var uri = uri.parts(Page.uri);
var lang = string.tolower(uri.path[0]);
if (string.contains(lang, "project") || string.contains(lang, "Project")) {
  let lang = string.substr(lang, 8);
}
/* fall back to page.language on a user page */
else if (string.StartsWith(lang, "user:")) {
 let lang = page.language;
}
var searchfor = ' Search for <code>' .. $2 .. '</code>';
switch(lang) {
  case 'de':
    let searchfor = ' Suche nach <code>' .. $2 .. '</code>';
    break;
  case 'ja':
    let searchfor = ' で <code>' .. $2 .. '</code> を';
    break;
}
web.link('http://mxr.mozilla.org/mozilla-central/' .. $0 .. '?' .. $1 .. '=' .. $2, (string.trim(($3 ?? '')) !== '' ? web.html($3) : web.html('MXR ' .. ($0 == 'ident' ? 'ID' : '') .. searchfor)));