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 <[email protected]> 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ý <[email protected]> -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
