Page Menu
Home
WickedGov Phorge
Search
Configure Global Search
Log In
Files
F1431671
PhpIniSink.php
No One
Temporary
Actions
Download File
Edit File
Delete File
View Transforms
Subscribe
Flag For Later
Award Token
Size
794 B
Referenced Files
None
Subscribers
None
PhpIniSink.php
View Options
<?php
namespace
MediaWiki\Settings\Config
;
use
Wikimedia\NormalizedException\NormalizedExceptionTrait
;
/**
* Settings sink for values to pass to ini_set.
*
* @since 1.39
*/
class
PhpIniSink
{
use
NormalizedExceptionTrait
;
/**
* Sets a php runtime configuration value using ini_set().
* A PHP notice is triggered if setting the value fails.
*
* @param string $option
* @param string $value
* @return void
*/
public
function
set
(
string
$option
,
string
$value
):
void
{
$result
=
ini_set
(
$option
,
$value
);
if
(
$result
===
false
)
{
$msg
=
$this
->
getMessageFromNormalizedMessage
(
'Could not set option: {option} with value: {value} to PHP_INI config.'
,
[
'value'
=>
$value
,
'option'
=>
$option
,
]
);
trigger_error
(
$msg
);
}
}
}
File Metadata
Details
Attached
Mime Type
text/x-php
Expires
Sat, May 16, 20:56 (1 d, 11 h)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
17/85/4b0522e2d4208854af4b647fd72c
Default Alt Text
PhpIniSink.php (794 B)
Attached To
Mode
rMWPROD MediaWiki Production
Attached
Detach File
Event Timeline
Log In to Comment