Missing SplPriorityQueue header