To install BibManager, put the following line in LocalSettings.php: include_once( "$IP/extensions/BibManager/BibManager.php" );