Podmnožina jazyka PHP