<?php $filename = "ab\0c"; if (strpos($filename, "\0") !== false) { echo "bad filename\n"; }
You have javascript disabled. You will not be able to edit any code.