https://bugzilla.wikimedia.org/show_bug.cgi?id=43917
Bug 43917 depends on bug 43915, which changed state.
Bug 43915 Summary: Maintenance script to delete pages in the MediaWiki
namespace equal to system default
https://bugzilla.wikimedia.org/show_bug.cgi?id=43915
What|Removed
https://bugzilla.wikimedia.org/show_bug.cgi?id=43917
Andre Klapper aklap...@wikimedia.org changed:
What|Removed |Added
Priority|Unprioritized |Normal
--
You
https://bugzilla.wikimedia.org/show_bug.cgi?id=43917
--- Comment #3 from Krinkle krinklem...@gmail.com ---
(In reply to comment #2)
Can the old [[User:MediaWiki default]] be used for this task?
The script I wrote uses that user and ensures it is in the bot group (that is,
add if not present)
https://bugzilla.wikimedia.org/show_bug.cgi?id=43917
--- Comment #4 from Krinkle krinklem...@gmail.com ---
See bug 43915.
--
You are receiving this mail because:
You are the assignee for the bug.
You are watching all bug changes.
___
Wikibugs-l
https://bugzilla.wikimedia.org/show_bug.cgi?id=43917
Marco Aurelio maure...@gmx.es changed:
What|Removed |Added
CC||maure...@gmx.es
---
https://bugzilla.wikimedia.org/show_bug.cgi?id=43917
Chad H. innocentkil...@gmail.com changed:
What|Removed |Added
CC|innocentkil...@gmail.com|
--
You are
https://bugzilla.wikimedia.org/show_bug.cgi?id=43917
Nemo federicol...@tiscali.it changed:
What|Removed |Added
CC||federicol...@tiscali.it,