<?php $TRANSLATIONS = array(
  "WebDAV URL: http://" => "WebDAV URL: http://"
  );