<?php if (!class_exists('SodiumException', false)) { class SodiumException extends Exception { } }