Pepijn Over 1fe4c9a293 issue #111: non-default ports should always be included in the HTTP "Host" header, so should not be added again when building urls.		2014-07-28 09:01:30 +02:00
..
functions.inc.php	issue #111: non-default ports should always be included in the HTTP "Host" header, so should not be added again when building urls.	2014-07-28 09:01:30 +02:00
password_compatibility_library.inc.php	bumping version to 3.0.0 for upcoming release, removing closing	2014-04-05 09:51:55 +02:00
psmconfig.inc.php	restoring develop version to 3.1.0-dev	2014-04-12 14:09:27 +02:00