Last modified: 2008-07-08 20:20:13 UTC

Wikimedia Bugzilla is closed!

Wikimedia has migrated from Bugzilla to Phabricator. Bug reports should be created and updated in Wikimedia Phabricator instead. Please create an account in Phabricator and add your Bugzilla email address to it.
Wikimedia Bugzilla is read-only. If you try to edit or create any bug report in Bugzilla you will be shown an intentional error message.
In order to access the Phabricator task corresponding to a Bugzilla report, just remove "static-" from its URL.
You could still run searches in Bugzilla or access your list of votes but bug reports will obviously not be up-to-date in Bugzilla.
Bug 14533 - Some changes for the ReplaceText extension
Some changes for the ReplaceText extension
Status: RESOLVED FIXED
Product: MediaWiki extensions
Classification: Unclassified
General/Unknown (Other open bugs)
unspecified
All All
: Normal enhancement (vote)
: ---
Assigned To: Nobody - You can work on this!
: patch
Depends on:
Blocks:
  Show dependency treegraph
 
Reported: 2008-06-13 19:49 UTC by Robin Pepermans (SPQRobin)
Modified: 2008-07-08 20:20 UTC (History)
1 user (show)

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---


Attachments
Patch for these changes (2.41 KB, patch)
2008-06-13 19:49 UTC, Robin Pepermans (SPQRobin)
Details

Description Robin Pepermans (SPQRobin) 2008-06-13 19:49:21 UTC
Created attachment 4976 [details]
Patch for these changes

Some minor proposals for the ReplaceText extension (see patch):

* Use dirname( __FILE__ ) instead of $grIP (so it works without modifying $grIP
* Use the own user right "replacetext" instead of "delete", which is something totally different
* Use a fieldset with a little table
Comment 1 Chad H. 2008-07-08 20:20:13 UTC
Applied in r37344

Note You need to log in before you can comment on or make changes to this bug.


Navigation
Links