Christoph M. Becker 8463593803 Only "linked" parameters should have pointer cursor (#742) ...

If a parameter has no target to scroll to, it should not suggest
otherwise by changing the cursor to a pointer.  Since the scrolling is
done via JS, we should also change the cursor via JS.[1]

While we're at it, we also fix the potential JS error where we call the
`.offset()` method on an empty `jQuery` object.

[1] <https://github.com/php/doc-en/issues/2071#issuecomment-1354497367>

2023-08-10 12:55:25 +01:00

..

ext

Fix mousetrap.js (#655)

2022-07-15 10:09:11 +01:00

common.js

Only "linked" parameters should have pointer cursor (#742)

2023-08-10 12:55:25 +01:00

search-index.php

Enhancement: Enable array_syntax fixer

2022-08-22 18:59:14 +02:00

search.js

Change escaping function to build URL for searching

2022-05-30 15:43:58 +02:00

usernotes.js

Minor optimizations in CSS files to shed some weight (#612)

2022-07-05 11:38:25 +01:00