Add php-micro