TOC is widely used acronym in our code base, it was introduced in MediaWiki code so it'll be unnatural if we suddenly change that behavior.
I'm also thinking about cost of this change, because changing one variable name doesn't make sense for me and TOC acronym is used in at least 80 places in js (including mediawiki code).