Description:
------------
The german translation of the note behind overidden php.ini directives contains minor error.

The english version reads:
> Note: These directives cannot be initialized with another value 
> from the configuration file php.ini or a custom one (if specified). 
> This is a limitation because those default values are applied after 
> all configuration files have been parsed. However, their value can 
> be changed during runtime (which does not make sense for all of 
> those directives, e.g. register_argc_argv). 

While the current translated version says:
> Hinweis: Diese Direktiven k?nnen nicht mit einem anderen Wert aus
> der Konfigurationsdatei php.ini oder einer eigenen (falls 
> angegeben) initialisiert werden. Das ist eine Einschr?nkung, weil 
> diese Standardwerte angewandt werden, nachdem alle  
> Konfigurationsdateien durchlaufen wurden. Dennoch k?nnen die Werte 
> zur Laufzeit ver?ndert werden (was aber f?r alle diese Direktiven 
> keinen Sinn ergibt, beispielsweise register_argc_argv). 

Translated back into english this would say:
> Note: These directives cannot be initialized with another value 
> from the configuration file php.ini or a custom one (if specified). 
> This is a limitation because those default values are applied after 
> all configuration files have been parsed. However, their value can 
> be changed during runtime (which does not make sense for any of 
> these directives, e.g. register_argc_argv). 

Could you please fix the documentation? 

Suggested fix:

Hinweis: Diese Direktiven k?nnen nicht mit einem anderen Wert aus der Konfigurationsdatei php.ini oder einer eigenen (falls angegeben) initialisiert werden. Das ist eine Einschr?nkung, weil diese Standardwerte angewandt werden, nachdem alle Konfigurationsdateien durchlaufen wurden. Dennoch k?nnen die Werte zur Laufzeit ver?ndert werden (was aber nicht f?r alle dieser Direktiven einen Sinn ergibt, beispielsweise register_argc_argv).