This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-ReplaceText
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-ReplaceText
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText
synced
2024-11-30 17:34:14 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
4e11554699
mediawiki-extensions-Replac...
/
.stylelintrc.json
7 lines
87 B
JSON
Raw
Normal View
History
Unescape
Escape
Update CI files, dir structure, remove inline JS. Bug:T191546 Bug:T191919 Change-Id: Ia7ed03a98972262d164fd131bcb84994ad279c7f
2018-04-11 02:25:55 +00:00
{
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 18:21:47 +00:00
"extends"
:
"stylelint-config-wikimedia"
,
"rules"
:
{
"selector-max-id"
:
null
}
Update CI files, dir structure, remove inline JS. Bug:T191546 Bug:T191919 Change-Id: Ia7ed03a98972262d164fd131bcb84994ad279c7f
2018-04-11 02:25:55 +00:00
}
Reference in a new issue
Copy permalink