We are getting crash reports from people that updated kdevplatform + kdevelop to current master but did not update php. I think increasing the X-KDevelop-Version would avoid those. should we do that? Niko