Sounds like hacking time. I'll post it to a bug when I finish.

On 8/14/05, Rowan Collins rowan.collins@gmail.com wrote:

On 13/08/05, Jamie Bliss astronouth7303@gmail.com wrote:

...

Couldn't you just use a HEAD request?

HEAD http://en.wikipedia.org/wiki/Special:Export/Asdfasgasdfghsfghsfghs --> 200 OK

So, no. For that matter,

GET http://en.wikipedia.org/wiki/Special:Export/Asdfasgasdfghsfghsfghs --> 200 OK HEAD http://en.wikipedia.org/wiki/Asdfasgasdfghsfghsfghs --> 200 OK GET http://en.wikipedia.org/wiki/Asdfasgasdfghsfghsfghs --> 200 OK

And no, that page doesn't exist. ;)

So this seems to still be a desired feature, rather than an existing one - though as I say, I thought I remembered it too; maybe somebody coded it but it broke?

-- Rowan Collins BSc [IMSoP] _______________________________________________ MediaWiki-l mailing list MediaWiki-l@Wikimedia.org http://mail.wikipedia.org/mailman/listinfo/mediawiki-l