PHP plugins for kdevelop