wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-24 06:43:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Replac.../resources
History
Yaron Koren 7c5dfae496 Change some interface elements to use OOUI 
Change-Id: Ic55f2b173948aad50ae24279b630315ecf8faf1c
2021-07-08 18:16:20 +00:00
..
ext.ReplaceText.css Avoid using core module 'mediawiki.special.search' 2018-12-22 20:32:33 +01:00
ext.ReplaceText.js Change some interface elements to use OOUI 2021-07-08 18:16:20 +00:00
ext.ReplaceTextStyles.css Change some interface elements to use OOUI 2021-07-08 18:16:20 +00:00