Accurate PHP code completion for PHP