**Reason**
See https://phabricator.wikimedia.org/T30089#988318 from 2015.
**To-do list**
- This task
-- [x] Add maintainers of that extension as subscribers to this task (if they have no apparent Phabricator account, notify them on-wiki or via email if possible and note it here).
-- [x] Add Phabricator project <#ProjectX> as a tag for this task, and remove #mediawiki-extensions-other/#other-skins as appropriate.
- On-wiki documentation
-- [X] Archive documentation on `mediawiki.org` (https://www.mediawiki.org/wiki/Extension:IndexFunction): replace page contents with `{{Archived extension|last revision id before archiving|task=T######}}` (for extensions); replace `T######` with this task's number.
-- [X] If documentation page was translatable, remove `<translate>`, visit Special:PageTranslation, and click "remove from translation" (if you don't have the translation administrator right, ask a [[ https://www.mediawiki.org/wiki/Special:ListUsers/translationadmin | user who does ]]).
-- [X] Update Wikidata item (https://www.wikidata.org/wiki/Special:EntityPage/Q21677337) associated with documentation page
--- [X] add statement `Abandonware (Q281039)` to `instance of (P31)` together with qualifier `start time (P580)` = the YYYY-MM-DD date that you decided to archive extension (generally per edit history)
--- [X] add qualifier `end time (P582)` = the YYYY-MM-DD (same date as above) to `instance of (P31) = MediaWiki extension (Q6805426)`
- Phabricator
-- [x] Mark all Phabricator tasks for the extension either Declined or Invalid. Add a comment pointing to this task when doing so for reference.
-- [x] Archive Phabricator project #mediawiki-extensions-indexfunction for the extension.
-- [x] Edit Phabricator project #mediawiki-extensions-indexfunction description for the extension with a link to this ticket.
- Translatewiki.net/translations
-- [x] Remove from `translatewiki.net` ([[ https://gerrit.wikimedia.org/r/plugins/gitiles/translatewiki/+/refs/heads/master/groups/MediaWiki/mediawiki-extensions.txt | groups/MediaWiki/mediawiki-extensions.txt ]]).
- Configuration/tests/integrations/etc.
-- [ ] Remove tests in [[ https://gerrit.wikimedia.org/g/integration/config | integration/config ]] ([[ https://gerrit.wikimedia.org/r/plugins/gitiles/integration/config/+/master/zuul/layout.yaml | zuul/layout.yaml ]]).
-- [x] Remove manifest/other references from [[ https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/vagrant/+/master | mediawiki/vagrant ]] if they exist.
-- [x] Remove from https://doc.wikimedia.org/cover-extensions/ if present (requires #continuous-integration-infrastructure shell user to delete directly from the server).
- Repositories
-- [ ] Empty repository, leaving only the README indicating the repo is archived, and referring to this task by URL.
-- [ ] Remove from [[ https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/extensions/+/master | mediawiki/extensions ]] (along with in `.gitmodules`).
-- [ ] Mark the repository read-only in Gerrit (also edit description to prepend "[ARCHIVED]" and a reference to this task): (https://gerrit.wikimedia.org/r/admin/repos/mediawiki/extensions/IndexFunction).
-- [ ] Archive the Diffusion repository for the extension: {rEINF}
-- [ ] Delete the GitHub mirror: https://github.com/wikimedia/mediawiki-extensions-IndexFunction