From 6c0c9e75c3bfb2e8d9b9eebf200f6a4400191013 Mon Sep 17 00:00:00 2001
From: "Christoph M. Becker" <cmbecker69@gmx.de>
Date: Sat, 31 Oct 2020 17:09:00 +0100
Subject: [PATCH] Fix parameter scrolling for proper variadic parameters

---
 js/common.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/common.js b/js/common.js
index 8813243a72..6c20ad18ef 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;