A PHP source code refliction