wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-12-18 09:11:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Replac.../resources
History
Yaron Koren e1da9e2d63 Replace "Announce changes" option with (inverse) "Mark as bot" 
Bug: T200334
Change-Id: I5b588e0dda95812543b270fbc5aece14a5583c83
2023-08-08 16:13:07 +00:00
..
ext.ReplaceText.js Replace "Announce changes" option with (inverse) "Mark as bot" 2023-08-08 16:13:07 +00:00
ext.ReplaceTextStyles.less Change CSS identifiers 2021-09-08 11:53:43 +00:00