Translations:Manual:$wgHtml5/3/en

This setting was not removed in MW 1.22+ but starting with this branch setting it to "false" has no longer any impact.