Removing a duplicate php module