The phar shared extension for php