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

[Ondřej Surý]

reassign 648823 mediawiki
thank you

I guess it is fixable within mediawiki package now.

O.

On Fri, May 3, 2013 at 6:30 PM, Ian Jackson
<ijackson at chiark.greenend.org.uk> wrote:
> 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.



-- 
Ondřej Surý <ondrej at sury.org>