[php-maint] Bug#648823: Bug#648823: Processed: Closed by mistake

[Ian Jackson]

Ondřej Surý writes ("Re: [php-maint] Bug#648823: Processed: Closed by mistake"):
> Well, there were some changes in the delete code which allows us to
> keep actively used session files.

Right.

> But while re-reading this bug again I think you were right to re-open the bug.

Good, thanks for the review.

> Anyway the mediawiki can install the file into
> /etc/php5/modules-available/mediawiki.ini with required PHP directives
> and issue php5enmod mediawiki in postinst (and php5dismod mediawiki in
> prerm).

So, should this bug be reassigned to the mediawiki package ?

Regards,
Ian.