wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-12-04 19:18:12 +00:00
Code Issues Packages Projects Releases Wiki Activity
729 commits 26 branches 21 tags 11 MiB
Commit graph

4 commits

Author SHA1 Message Date
Siebrand Mazeland 4eec59a457 Maintenance for ReplaceText extension. 
* Now requires MediaWiki 1.18 or later.
* Use strict in JavaScript and update with JSHint/JSLint suggestions.
* Deglobalisation.
* Replace deprecated methods, remove pre 1.18 BC code.
* Update docs.
* Break long lines.
* Add FIXME where needed.

Change-Id: If9fe1e314937438227458cb07cda7f734043801f
 2012-11-07 07:37:05 +00:00
Yaron Koren b6351eb63a Fixed so that inverting selections doesn't affect move-pages option checkboxes 2009-04-27 18:34:07 +00:00
Siebrand Mazeland 889a5cb12e stylize.php and trailing whitespace removed 2009-04-27 09:02:48 +00:00
Niklas Laxström 241d79f472 * Cleanup, may still contain some bugs due to it 2009-04-27 08:52:10 +00:00