Add somewhat clever PHP tag filtering