<?php namespace SuperClosureException;/** * This is a marker exception for the SuperClosure library. */interface SuperClosureException{ //}