A ctags-like tag generator for PHP