To install my extension, put the following line in LocalSettings.php:
	require_once( '$IP/extensions/URNames/URNames.php' );