Jump to navigation Jump to search
This category may not be up to date; it may not show all extensions that use this hook. You can view this MediaWiki Code search query to see the most up-to-date version of all extensions that use this hook.
The DiffTools category contains pages on extensions that use the DiffTools hook.
Pages in category "DiffTools extensions"
This category contains only the following page.