mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite
synced 2024-12-11 22:56:01 +00:00
04efa43c4c
- git grep is a wonderful thing to help catch identical errors. - Saw this "bug" first in the cite extension port. - Turns out this is only a bug on the PHP side since the PHP DOM treats attributes in a case-sensitive manner but Domino.js treats attributes in a case-insensitive manner. - Better to use the correct attribute name everywhere. Change-Id: I3735dc768a10a820b4816c211aa72291df9b1413 |
||
---|---|---|
.. | ||
ext/Cite |