[Pkg-mediawiki-devel] Processed: improving a little

Debian Bug Tracking System owner at bugs.debian.org
Fri Jun 25 12:33:15 UTC 2010


Processing commands for control at bugs.debian.org:

> affects 484545 mediawiki-extensions
Bug #484545 [wnpp] RFH: mediawiki-extensions -- set of extensions for MediaWiki
Added indication that 484545 affects mediawiki-extensions
> forwarded 579822 http://dev.fckeditor.net/ticket/4462
Bug #579822 [mediawiki-extensions-fckeditor] mediawiki-extensions-fckeditor: fckeditor with php5.3 results in "Detected bug in an extension!"
Set Bug forwarded-to-address to 'http://dev.fckeditor.net/ticket/4462'.
> clone 539371 -1
Bug#539371: mediawiki-extensions: add UsabilityInitiative, CreateBox extensions
Bug 539371 cloned as bug 587147.

> retitle 539371 mediawiki-extensions: add CreateBox extension
Bug #539371 [mediawiki-extensions] mediawiki-extensions: add UsabilityInitiative, CreateBox extensions
Changed Bug title to 'mediawiki-extensions: add CreateBox extension' from 'mediawiki-extensions: add UsabilityInitiative, CreateBox extensions'
> retitle -1 mediawiki-extensions: add UsabilityInitiative extension
Bug #587147 [mediawiki-extensions] mediawiki-extensions: add UsabilityInitiative, CreateBox extensions
Changed Bug title to 'mediawiki-extensions: add UsabilityInitiative extension' from 'mediawiki-extensions: add UsabilityInitiative, CreateBox extensions'
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
587147: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=587147
539371: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=539371
484545: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=484545
-1: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=-1
579822: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=579822
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the Pkg-mediawiki-devel mailing list