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

Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T16533, the corresponding Phabricator task for complete and up-to-date bug report information.
First Last Prev Next    This bug is not in your last search results.
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 tree / graph
 
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
Add an attachment (proposed patch, testcase, etc.)

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.
First Last Prev Next    This bug is not in your last search results.

Navigation
Links