2021-12-14 18:32:47 +00:00
< ? php
declare ( strict_types = 1 );
2019-08-07 14:53:59 -05:00
class AliasEditorInfo extends ExtensionInfo
{
public const KEY = " alias_editor " ;
2021-03-14 23:43:50 +00:00
public string $key = self :: KEY ;
public string $name = " Alias Editor " ;
public string $url = self :: SHIMMIE_URL ;
public array $authors = self :: SHISH_AUTHOR ;
public string $license = self :: LICENSE_GPLV2 ;
public string $description = " Edit the alias list " ;
public ? string $documentation = 'The list is visible at <a href="$site/alias/list">/alias/list</a>; only site admins can edit it, other people can view and download it' ;
public bool $core = true ;
2019-08-07 14:53:59 -05:00
}