Libpuzzle with PHP extension for PHP5.4 .