[15:36:52] Why doesn't MediaWiki do search deleted text [15:44:31] RhinosF1: deleted text is deleted, probably for a good reason [15:44:55] I know it can be restored [15:46:39] Vulpix: I'm an admin on this wiki wanting to know whether I'm right that I've seen a name mentioned before [15:48:40] If you have a valid use case for searching deleted text, go create a task on phabricator. However, it may have a lot of corner cases. Deleted text doesn't have history. Do you expect to search on every deleted revision or just the most recent one for each deleted title? Also what about old revisions? [15:49:42] Vulpix: not wikimedia [15:50:06] what do you mean by "not wikimedia"? [15:50:06] And I'd be shocked if $wgCompressRevisions isn't on [15:50:21] Vulpix: yeah I can't read [15:50:22] Tired [15:50:24] Ignore that [15:52:10] I won't account for $wgCompressRevisions, because searching on the text table directly would be insane on a medium to big wiki. I'd expect it to be on searchindex or ElasticSearch (of course if you want to do it right) [15:56:36] Yeah [15:56:38] True [16:35:07] the sole mention of using the MySQL search in production made domas fall from IRC ^_^ [16:36:29] :) [16:37:32] There was some discussion in the past like https://meta.wikimedia.org/wiki/Community_Wishlist_Survey_2015/Search#Provide_a_means_of_searching_for_deleted_pages [16:38:10] Another big one was the access to (titles in?) the archive table for researchers [16:39:55] Oh, yes, searching for deleted titles would be useful. I guess RhinosF1 wants to search for deleted text, not (only) titles, unless I misunderstood [16:44:33] I wasn't aware it was already implemented with CirrusSearch. A hidden feature