Penguin
Diff: [ -e $CTRLFILE
EditPageHistoryDiffInfoLikePages

I'm sorry, there is no such page as [ -e $CTRLFILE?.