wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-13 17:51:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
1326 commits 26 branches 21 tags 10 MiB
Commit graph

3 commits

Author SHA1 Message Date
Fomafix 78e75ed030 Change CSS identifiers 
Apply CSS coding conventions from:
https://www.mediawiki.org/wiki/Manual:Coding_conventions/CSS#Naming

* Use class instead of id.
* Use class names with the prefix "ext-replacetext-".
* Remove stylelint rule:
    "selector-max-id": null
* Add stylelint rule:
    "selector-class-pattern": "^client-nojs$|^ext-replacetext-"

Change-Id: Ia7e3d41030aba7287716a219acbe6115e8fcbe46
 2021-09-08 11:53:43 +00:00
Fomafix a316c0f08f Avoid using core module 'mediawiki.special.search' 
The core module 'mediawiki.special.search' contains more functions
which are not needed here and which causes an error message in the
JavaScript console. (T211384)

This change copies the used part of module 'mediawiki.special.search'
to the local module 'ext.ReplaceText'.

The CSS file for the style module 'ext.ReplaceTextStyles' is renamed
from ext.ReplaceText.css to ext.ReplaceTextStyles.css to make
ext.ReplaceText.css free for the CSS part of module 'ext.ReplaceText'.

Bug: T211384
Change-Id: I41225ccdf8a95a7c501fb6eea99abbd08353f4ea
 2018-12-22 20:32:33 +01:00
Cindy Cicalese 3c36f7452a Update CI files, dir structure, remove inline JS. 
Bug:T191546
Bug:T191919
Change-Id: Ia7ed03a98972262d164fd131bcb84994ad279c7f
 2018-04-11 17:21:08 +00:00