Remove packages duplicated in ::mediawiki::packages::php5

Change-Id: I85de6a2b5a1de929b8c4950ec5a80d538f7f42d6