Code Editor : bug17317.phpt

//