Frank Brückner 7c183678ae Fixes #345 - CallbackHandler throws warning if WeakRef-extension not installed vor 11 Jahren
..
Exception 22744dde7c Update copyright year to 2014. vor 12 Jahren
CallbackHandler.php 7c183678ae Fixes #345 - CallbackHandler throws warning if WeakRef-extension not installed vor 11 Jahren
Exception.php 22744dde7c Update copyright year to 2014. vor 12 Jahren
PriorityQueue.php 22744dde7c Update copyright year to 2014. vor 12 Jahren
SplPriorityQueue.php 22744dde7c Update copyright year to 2014. vor 12 Jahren