Open leonardolara opened 3 months ago
One of the complications with this is that the PHP manual is manually translated by volunteers. It is not translated through a third-party API. However, perhaps it can be changed to where the user contributed notes are fed to an API? The translation quality will not be as good as the manual, though.
The "User Contributed Notes" title at the bottom of each page is hardcoded in English (in web-php) and will not follow the selected language of the manual. The same occurs for its footer and for the Language Selection combo itself (at the top).
It would be nice if these terms could be translated to the language chosen by the user.