add support for day/night theme changes
add support for circe
add gtags support
add php completion settings
add man configuration to use as primary pager
add php built-in functions