Yannick Warnier 07da6d21d1 Minor - Small changes recommended by Scrutinizer vor 8 Jahren
..
PGTStorage 07da6d21d1 Minor - Small changes recommended by Scrutinizer vor 8 Jahren
languages 94984e6b12 merge vor 10 Jahren
client.php 1591132050 Remove CAS redirect - ref #7166 vor 10 Jahren
domxml-php4-to-php5.php 94984e6b12 merge vor 10 Jahren