2016-04-20 09:56:34 -07:00
< ? php
/**
2019-01-24 08:00:03 +00:00
* Random_ * Compatibility Library
2016-04-20 09:56:34 -07:00
* for using the new PHP 7 random_ * API in PHP 5 projects
2019-01-24 08:00:03 +00:00
*
2016-04-20 09:56:34 -07:00
* The MIT License ( MIT )
2017-04-13 15:53:35 +01:00
*
2018-11-23 12:29:20 +00:00
* Copyright ( c ) 2015 - 2018 Paragon Initiative Enterprises
2019-01-24 08:00:03 +00:00
*
2016-04-20 09:56:34 -07:00
* Permission is hereby granted , free of charge , to any person obtaining a copy
* of this software and associated documentation files ( the " Software " ), to deal
* in the Software without restriction , including without limitation the rights
* to use , copy , modify , merge , publish , distribute , sublicense , and / or sell
* copies of the Software , and to permit persons to whom the Software is
* furnished to do so , subject to the following conditions :
*
* The above copyright notice and this permission notice shall be included in
* all copies or substantial portions of the Software .
*
* THE SOFTWARE IS PROVIDED " AS IS " , WITHOUT WARRANTY OF ANY KIND , EXPRESS OR
* IMPLIED , INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY ,
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT . IN NO EVENT SHALL THE
* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM , DAMAGES OR OTHER
* LIABILITY , WHETHER IN AN ACTION OF CONTRACT , TORT OR OTHERWISE , ARISING FROM ,
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
* SOFTWARE .
*/
if ( ! class_exists ( 'Error' , false )) {
// We can't really avoid making this extend Exception in PHP 5.
class Error extends Exception
{
2019-01-24 08:00:03 +00:00
2016-04-20 09:56:34 -07:00
}
}
if ( ! class_exists ( 'TypeError' , false )) {
2017-04-13 15:53:35 +01:00
if ( is_subclass_of ( 'Error' , 'Exception' )) {
class TypeError extends Error
{
2019-01-24 08:00:03 +00:00
2017-04-13 15:53:35 +01:00
}
} else {
class TypeError extends Exception
{
2019-01-24 08:00:03 +00:00
2017-04-13 15:53:35 +01:00
}
2016-04-20 09:56:34 -07:00
}
}