1<?php
2
3if (!class_exists("constructs_in_destructor")) {
4 class constructs_in_destructor {
5 public function __destruct() {
6 $a = new constructs_in_destructor;
7 $time = '';
8 require(__FILE__);
9 }
10 }
11}
12
13$a = new constructs_in_destructor;
14
