<?php var_dump( FILTER_FLAG_STRIP_HIGH, ! FILTER_FLAG_STRIP_HIGH, (int) ! FILTER_FLAG_STRIP_HIGH );
You have javascript disabled. You will not be able to edit any code.