mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite
synced 2024-11-27 16:30:12 +00:00
7f33002411
The internal search index is optimized and expects everything to be lowercase. This was already done for the text, but not for the name and group. As far as I can see in the Git history this problem always existed ever since this code was written. This fixes an 11 (!) year old bug. Bug: T53838 Change-Id: I12b3b7c23d34d49b630e9151525409dbddfac24e |
||
---|---|---|
.. | ||
ext.cite.referencePreviews | ||
parsoid-styles | ||
ve-cite | ||
.eslintrc.json | ||
ext.cite.a11y.js | ||
ext.cite.a11y.less | ||
ext.cite.highlighting.js | ||
ext.cite.highlighting.less | ||
ext.cite.print.less | ||
ext.cite.styles.less | ||
ext.cite.styles.minerva.less | ||
ext.cite.tracking.js | ||
ext.cite.wikiEditor.js |