The readline shared extension for php
