geoadmin/mf-chsdi3 — pull request #1147 by kandre (2014-12-03 13:14:33+00:00)
Title: Hide doc search

Related to issue #1063. As the api documentation search is not really efficient, we decided to kill the search and use google insead. To do this, I hid the searchbox by putting into comments the searchbox,html extent call in layout.html.