Extension:RandomInclude/RandomInclude.php

This is part of the source code for the RandomInclude extension.

Instructions
 * To download, select the text in the box below and save it in a file named RandomInclude.php in the extensions directory of your wiki.
 * Suggest patches on the extension discussion page.