Thomas Müller 7d7a2ce317 use $_SERVER['SERVER_NAME'] in case $_SERVER['HTTP_HOST'] is not set

2013-07-01 23:51:43 +02:00

5.1 KiB

Executable File

Raw Blame History

View Raw