Fix missing back tick in PhpEditor.ph