To install the RPED extension, put the following line in LocalSettings.php:
		require( "extensions/RPED/RPED.php" );