Attached you find the copy&paste solution I'm using for myself.
php5filter.diff
Description: Binary data
- Bug#438120: Nemui Ailin
- Bug#438120: [php-maint] Bug#438120: sean finney
- Bug#438120: [php-maint] Bug#438120: Steve Langasek
- Bug#438120: [php-maint] Bug#438120: Nemui Ailin
