Source necessary file for php folding