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