To install my extension, put the following line in LocalSettings.php: require_once( "$IP/extensions/RDFIO/specials/SpecialARC2Admin.php" );