Extension:RPED

What can this extension do?
This extension maintains a local copy of a centralized list of names of pages existent on Wikipedia; when parsing a page, wikilinks are colored accordingly. It can also act a server providing the full list and differential updates to it to other wikis that request it. See User:Tisane/Wikilinks implementing detection and indication of article existence on a remote wiki for more details.

Usage
An authorized user activates the extension through a special page; as long as that browser window is open, the extension will continue downloading differential updates from the centralized list or gathering page creation and deletion data from Wikipedia's NewPages and deletion log. See Extension:RemotePageExistenceDetectionCentralizedListServer.

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

Help Needed
If you would like to help me write RemotePageExistenceDetection, leave a message on my talk page (User talk:Tisane) and I will send you a reply asap.