The following discussion is an archived debate of the proposed deletion of the media below. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the media's talk page or in a deletion review). No further edits should be made to this section.

The result of these three discussions was: delete all per antiquated cru- (non-admin closure) AlphaBeta135talk 00:32, 16 April 2023 (UTC)[reply]

index.php[edit]

index.php (delete | talk | history | links | logs) 

Wikipedia was much smaller back when this file was created. It is no longer feasible to keep a complete index of the whole encyclopedia, and has not been for many years. To attempt it is a blatant violation of WP:INDISCRIMINATE. ℰmi1y_⧼T·C⧽ 00:37, 1 April 2023 (UTC)[reply]

Delete for using PHP. click on my userpage haha please (say hi!) 01:05, 1 April 2023 (UTC)[reply]

Rewrite it in ActionScript. Clearly the better choice. PHP is outdated and should not be used for mission critical tasks. HolyNetworkAdapter (talk) 02:18, 1 April 2023 (UTC)[reply]

robots.txt[edit]

robots.txt (delete | talk | history | links | logs) 

This is pure censorship by the Wikimedia Foundation. It is a very wise idea to let all bots, spam or not, roam the site. HolyNetworkAdapter (talk) 02:28, 1 April 2023 (UTC)[reply]

Keep and add humans.txt to disallow vandalism. ℰmi1y_⧼T·C⧽ 04:41, 1 April 2023 (UTC)[reply]

503.html[edit]

503.html (delete | talk | history | links | logs) 

This file is a relic from when Wikipedia was much smaller. With the server upgrades made over the years, you almost never see this file anymore. We should delete it to make space for new, better files. MaterialWorks ^{ping me!} 11:00, 1 April 2023 (UTC)[reply]

Move to 401.html. HotdogPi 12:29, 1 April 2023 (UTC)[reply]

The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the media's talk page or in a deletion review). No further edits should be made to this section.

The following discussion is an archived debate of the proposed deletion of the media below. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the media's talk page or in a deletion review). No further edits should be made to this section.

The result of the discussion was: redirect to Robin (character). (non-admin closure) AlphaBeta135talk 00:32, 16 April 2023 (UTC)[reply]

File:Batman Three Jokers.jpg[edit]

File:Batman Three Jokers.jpg (delete | talk | history | links | logs) 

Too much of a joke for me. Propose renaming to "Batman".^[4-1] Aasim - Herrscher of Wikis ❄️ 17:35, 1 April 2023 (UTC)[reply]

The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the media's talk page or in a deletion review). No further edits should be made to this section.