Cleanup: Remove unused attribute
Bugfix: Never use the same ppa name for different repositories /cc @sodoku
Feature: Enable easybib ppa to be mirrored, too
Merge pull request #475 from fh/t/php-ppa

ppa mirror for php