Adding tabulation characters to MediaWiki

Question

If one wants to nest any HTML tag inside another HTML tag in MediaWiki, space-indentation isn't useful for that because it causes the nested tags to be wrapped in a <pre> tag in execution.
A possible solution to this problem is using tabulation-indentation instead.

Sadly, hitting TAB when in MediaWiki edit page doesn't add tabulation character.
What will be a fast way to add tabulation-characters to a MediaWiki edit page?

<sub>1. Creating an empty tab character and copying it and pasting it each time anew isn't a good solution IMHO.
2. In this answer HarryMC suggests an AHk approach, but this is not helpful to Linux users.</sub>