To install my extension, put the following line in LocalSettings.php:
        require_once( "/extensions/CategoryTagCloud/CategoryTagCloud.php" );