Extension:ListRedLinks

What can this extension do?
This extension will create a Special page (Special:ListRedLinks) which will list all the redlinks on a wiki. Please note that this is really only suitable for a small wiki, as it can take some time!

It looks at all the titles on the pagelinks table, and lists all of the ones which are not on the page table.

Note: If a deleted page had redlinks, these will show up on this listing

Usage
Go to Special:ListRedLinks and the list will be generated.

Download instructions
Please cut and paste the code found below and place it in. Note: $IP stands for the root directory of your MediaWiki installation, the same directory that holds LocalSettings.php.

Installation
To install this extension, add the following to LocalSettings.php:

ListRedLinks_body.php
Please note the underscore _ between "RedLinks" and "body"

Note: you will need to put your database details in the "Database details" section below