https://bugzilla.wikimedia.org/show_bug.cgi?id=38642
--- Comment #3 from Nathan Larson <[email protected]> --- Okay, https://www.mediawiki.org/wiki/Extension:EmailDeletedPages is done. Regrettably, I inadvertently duplicated functionality: * https://upload.wikimedia.org/wikipedia/mediawiki/2/22/EmailDeletedPages.png * https://upload.wikimedia.org/wikipedia/mediawiki/f/ff/EmailDeletedPages-what-already-existed.png Sigh, now I need to go back and fix that, and discard a bunch of code. By the way, what do you think the level of support would be for implementing this as core functionality, with a config setting to turn it on or off (kinda like what we do with https://www.mediawiki.org/wiki/Manual:$wgEnotifWatchlist )? -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
