Skip to content

Instantly share code, notes, and snippets.

<?php
/**
* This script can be used for generating PHP model for PDT.
* It builds PHP functions according to the loaded extensions in running PHP,
* using complementary information gathered from PHP.net documentation
*
* @author Michael Spector <[email protected]>
*/
if (version_compare(phpversion(), "5.0.0") < 0) {
<?php
function Redirect($url, $permanent = false) {
if (headers_sent() === false)
{
header('Location: ' . $url, true, ($permanent === true) ?
301 : 302);
}
exit();
# Build Python 3.6.x di Ubuntu 9test 14.04,16.04
# dengan --enable-optimizations, butuh test 2 jam-an :(
./configure --prefix=/opt/python36 --enable-shared \
--enable-loadable-sqlite-extensions \
--with-dbmliborder=bdb:gdbm \
--with-computed-gotos \
--without-ensurepip \
--with-system-expat \
--with-system-libmpdec \
--with-system-ffi \