title: What is the status of the MongoDB extension for PHP7?
body: <p>PHP7 is gaining a lot of attention lately, promising great performance and a more mature language. Version 7.0.0-alpha is out. We are just starting to rework our core application, which uses MongoDB as data source.</p>
  
  <p>I am wondering if there is any development underway for a PHP7 compatible MongoDB extension? How far is it? Is there any alternative?</p>