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