1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 00:02:20 +01:00
Files
archived-php-src/ext/dom
Niels Dossche 8dc2391bae Fix bug #79701: getElementById does not correctly work with duplicate definitions
This is a long standing bug: IDs aren't properly tracked causing either
outdated or plain incorrect results from getElementById.

This PR implements a pragmatic solution in which we still try to use the
ID lookup table to a degree, but only as a performance boost not as a
"single source of truth". Full details are explained in the
getElementById code.

Closes GH-14349.
2024-06-01 12:55:05 +02:00
..
2024-04-22 23:19:42 +02:00
2024-03-10 11:08:46 +01:00
2024-03-10 11:08:46 +01:00
2024-03-10 11:08:46 +01:00
2024-05-13 19:46:51 +02:00
2024-05-01 00:03:43 +02:00
2024-05-13 19:46:51 +02:00
2024-04-30 22:53:48 +02:00
2024-05-13 19:46:51 +02:00
2024-05-13 19:46:51 +02:00
2024-05-13 19:46:51 +02:00