anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-11-22 01:59:02 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

* generate_contributions.py - php 8 chokes on those

Browse Source 
@anyone: please do not commit changes generated by generate_contributions.py
until we switch to the new web server. Not sure what will this output do
with older php.
This commit is contained in:
Pavel Sanda 2024-03-03 00:07:08 +01:00
parent 5c5765061f
commit 0bd6fe0fc4
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
lib/generate_contributions.py
View File

@ -162,20 +162,22 @@ function credits_contrib($name, $email, $msg) {
$email = str_replace(' () ', '@', $email); $email = str_replace(' () ', '@', $email);
$email = str_replace(' ! ', '.', $email); $email = str_replace(' ! ', '.', $email);
if(!isset($output)){ $output = ''; }
if (isset($email) && $email != "") { if (isset($email) && $email != "") {
if (strncasecmp($email,"https",4) == 0) if (strncasecmp($email,"https",4) == 0)
$output =$output. "<dt><b>[[${email} | ${name}]]</b>"; $output =$output. "<dt><b>[[{$email} | {$name}]]</b>";
else else
$output=$output. "<dt><b>[[mailto:${email} | ${name}]]</b>"; $output=$output. "<dt><b>[[mailto:{$email} | {$name}]]</b>";
} else } else
$output=$output. "<dt><b>${name}</b>"; $output=$output. "<dt><b>{$name}</b>";
$msg = preg_replace("/\\n */", "\\n ", ltrim($msg)); $msg = preg_replace("/\\n */", "\\n ", ltrim($msg));
$output=$output. " $output=$output. "
</dt> </dt>
<dd> <dd>
${msg} {$msg}
</dd>"; </dd>";
return $output; return $output;
@ -183,6 +185,8 @@ return $output;
function credits_output() { function credits_output() {
if(!isset($output)){ $output = ''; }
$output=$output."<p> $output=$output."<p>
If your name doesn't appear here although you've done If your name doesn't appear here although you've done
something for LyX, or your entry is wrong or incomplete, something for LyX, or your entry is wrong or incomplete,