<?php $TRANSLATIONS = array(
  "WebDAV Authentication" => "WebDAV-aŭtentigo",
  "URL: http://" => "URL: http://"
  );