wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-15 02:53:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Replac.../resources
History
Fomafix 75ddb5fea0 Use private function instead of attaching the function to window 
Change-Id: Ie6f8d0cdf0cf8842ff756839951b4b4bdbade942
2018-12-06 18:31:50 +01:00
..
ext.ReplaceText.css Remove inline JavaScript 2018-04-30 17:41:30 +00:00
ext.ReplaceText.js Use private function instead of attaching the function to window 2018-12-06 18:31:50 +01:00