much better ways of doing this in modern web browsers. Furthermore, it
never worked as well as it should have done, as too much of the website is
built around fixed layouts.
It was felt it was best to remove the size switcher from all languages at
once, so that the infrastructure (styleswitcher.js etc.) could be removed
at the same time.
Discussed at: Cambridge DevSummit, August 2012
Discussed on: www@
Approved by: gabor (mentor)
contains source, doc, and ports.
Based on jgh's diff, but modifies both the static header and the CGI
program that generates the header for dynamic pages.
PR: 169798
Submitted by: jgh
Reviewed by: gjb
- Repocopy from www/<lang> to head/<lang>/htdocs to eliminate duplicate
information in the www and the doc directory.
- Add various administration files to svnadmin.
Approved by: doceng (implicit)
