com web/php: Fix parameter scrolling for proper variadic parameters: js/common.js
| From: | Christoph Michael Becker | Date: | Mon, 02 Nov 2020 11:38:42 +0000 |
| Subject: | com web/php: Fix parameter scrolling for proper variadic parameters: js/common.js | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-28834@lists.php.net to get a copy of this message | ||
Commit: c18e2b3db75363b43875bf1b9151b8b882dbfdb1
Author: Christoph M. Becker <cmbecker69@gmx.de> Sat, 31 Oct 2020 17:09:00 +0100
Parents: ff95e8416336246baa66192715ebf4638bb2ba6f
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=c18e2b3db75363b43875bf1b9151b8b882dbfdb1
Log:
Fix parameter scrolling for proper variadic parameters
Changed paths:
M js/common.js
Diff:
diff --git a/js/common.js b/js/common.js
index 8813243a7..6c20ad18e 100644
--- a/js/common.js
+++ b/js/common.js
@@ -333,7 +333,7 @@ $(document).ready(function() {
$('.refentry code.parameter').click(function(event)
{
- var id = $(this).text().replace(/^[&$]{0,2}/g, '');
+ var id = $(this).text().replace(/^&?(\.\.\.)?\$?/g, '');
var offsetTop = $('.parameters,
.options').find('.parameter').filter(function() {
return $(this).text() === id; // https://bugs.php.net/bug.php?id=74493
}).offset().top - 52;