Commit 32f7a571 authored by Pino Toscano's avatar Pino Toscano

i18n: update message to new default

parent 0c50eaab
......@@ -9,7 +9,7 @@
<default>https://php.net</default>
<label>Specifies the location of the PHP documentation to use.</label>
<tooltip>The location of the PHP documentation to use. You can either use a remote
location like http://php.net or a local directory which contains the
location like https://php.net or a local directory which contains the
PHP documentation in HTML format with many files.</tooltip>
<whatsthis>Make sure local copies are downloaded in HTML format with many files.
</whatsthis>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment