Wiki:Tools

These page provides a list of enabled Wikimedia Extensions and how they can help with editing processes

ReplaceText - Use this to perform useful find-and-replace operations:
 * Page name corrections - Replace [[Page Name with [[Page name to correct links to moved pages without needing redirects
 * URL changes - Replace "https://www.bookspace.world/" with "https://puzzles.mit.edu/2022/" when a hunt gets relocated
 * Only members of the " " user group have access to Replace Text functionality, replacements are case-sensitive, and after pressing Continue, all matching replacements are presented to the user for review and manual unselection before confirmation to be queued for processing.