SimpleSearch: Display configurable marker
Merge branch 'feature/mobil' of github.com:mapbender/mapbender into feature/mobil
SimpleSearch: Whitespace replacement pattern

A pattern for replacing whitesapce in the query term has been added.
WMS - Implemented buffer/ratio configuration

The ratio (size mulutiplier for single-tile mode) and buffer (number of
extra rows/columns in tiled mode) for WMS service instances can now be
managed in the backend.
Updated CodeMirror
Added HTML element
Added application CSS editor
copy default element changed
copy default element changed
copy function fixed
ACLs added, copy files recursively
error in 'application copy' fixed
serialiser added
Merge branch 'develop', remote-tracking branch 'origin' into feature/ImportExport
application export added
Hotfix: Use proxy for overview WMS if requested
Fix _removeProxy for WMS URLs
export handling added
keywords for 'ContainsKeyword' added, export changed
import/export handling changed