- array_map: documentation ( source)
- var_dump: documentation ( source)
- filter_var: documentation ( source)
- str_split: documentation ( source)
- inet_pton: documentation ( source)
<?php
echo "Leading zeroes are not significant: ";
var_dump(inet_pton("2001:0010::") == inet_pton("2001:10::"));
echo "2001:0010:: ";
var_dump(filter_var("2001:0010::", FILTER_VALIDATE_IP, FILTER_FLAG_NO_RES_RANGE));
echo "2001:10:: ";
var_dump(filter_var("2001:10::", FILTER_VALIDATE_IP, FILTER_FLAG_NO_RES_RANGE));
echo "\n";
echo "Testing manually: ";
$inet = array_map("hexdec", array_map("bin2hex", str_split(inet_pton("2001:10::"), 2)));
var_dump($inet[0] != 0x2001 || ($inet[1] & 0xFFF0) != 0x0010);