[Mediawiki-l] id "preftoc"

[Der Administrator @ Wijuki]

Good morning everybody,

the tabs of the preferences page got the id "preftoc". Where, in which 
script is this id generated?

Thanks in advance for your answer.

--Mirko