2021-12-14 18:32:47 +00:00
< ? php
declare ( strict_types = 1 );
2019-08-07 14:53:59 -05:00
class BrowserSearchInfo extends ExtensionInfo
{
public const KEY = " browser_search " ;
2021-03-14 23:43:50 +00:00
public string $key = self :: KEY ;
public string $name = " Browser Search " ;
public string $url = " http://atravelinggeek.com/ " ;
public array $authors = [ " ATravelingGeek " => " atg@atravelinggeek.com " ];
public string $license = self :: LICENSE_GPLV2 ;
public ? string $version = " 0.1c, October 26, 2007 " ;
public string $description = " Allows the user to add a browser 'plugin' to search the site with real-time suggestions " ;
public ? string $documentation =
2019-08-07 14:53:59 -05:00
" Once installed, users with an opensearch compatible browser should see their search box light up with whatever \" click here to add a search engine \" notification they have
Some code ( and lots of help ) by Artanis ( Erik Youngren < artanis . 00 @ gmail . com > ) from the 'tagger' extension - Used with permission " ;
}