mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-24 06:03:49 +00:00
32bee4950f
This issue exists ever since this code was added in 2009. Note how this element is invisible anyway. The non-breaking space is never seen. The purpose of this element is to act as a container for a debug result that will be put into this container via JavaScript. I confirmed this still works fine without the placeholder character being there. The problem here is that this HTML entity is double escaped because of the element() function. That would need to be a rawElement() call or we can just remove it. Change-Id: Id560f392be4cc2106a7ac224309c8b605bec3f6c |
||
---|---|---|
.. | ||
AceEditBoxBuilder.php | ||
EditBoxBuilder.php | ||
EditBoxBuilderFactory.php | ||
EditBoxField.php | ||
PlainEditBoxBuilder.php |