mirror of
https://github.com/jsbin/jsbin.git
synced 2026-01-18 15:18:04 +00:00
1e2db431cc
It is now possible to create a config.local.php file that will be used
to pull in settings rather than modifying the config.default.php. This
local file is ignored by git.
To create a local file copy the default file into a new one.
$ cp config.default.php config.local.php
Then edit the settings at will.
5 lines
152 B
PHP
5 lines
152 B
PHP
<?php
|
|
// Pull in the local settings. Fallback to the defaults.
|
|
require(file_exists('config.local.php') ? 'config.local.php' : 'config.default.php');
|
|
?>
|