PHP 5.5 micro-repo