there should never be references to other then PHP- and SERVER- tickets in the src