Fix for dumping empty PHP source