mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage
synced 2024-11-14 19:25:08 +00:00
f692c9f41d
Had to do that in JavaScript as doing it server-side would have made refactoring large parts of the extension necessary. Bug: 38141 Change-Id: I60ecd2fc0edf2aee89974d8069cc0b075cda3f93 |
||
---|---|---|
.. | ||
jquery.tooltip | ||
ext.cite.css | ||
ext.cite.js | ||
ext.cite.popups.js | ||
ext.rtlcite.css | ||
ext.specialcite.css |