I had to do some web development work on Ubuntu recently and was using PHPStorm for that. While it is a fairly capable tool, I found it rather heavy on resource usage and in my opinion UX of PHP Tools is significantly better.
At the same time, Mono Develop is a much lighter and responsive IDE that seems to be enjoying a great deal of popularity these days on the Linux platforms. I thought that it would be great to bring power of PHP Tools to this OS, and wondering if there would any plans to bring PHP Tools to Mono?
I understand that there might not be big enough market for commercial PHP development tools on open source platforms, but apart from that, would there be huge technical difficulties in porting PHP Tools to Mono?