* THANKYOU FOR USING <PlayScript/>
* ALSO SPECIAL THANKS FOR SEEING THE SOURCE CODE
* I AM SORRY FOR MY BAD CODING STYLE :(
* YOUR CONTRIBUTION WILL BE A GREAT GIFT FOR PLAYSCRIPT
* LICENSE: OPEN-SOURCE
* PROJECT HOMEPAGE: http://playscript.prijm.com
* YOU CAN RICH ME(INITIAL DEVELOPER) AT http://twitter.com/rakibtg FEEL FREE TO TWEET OR MESSAGE YOUR QUERY
* PLEASE SHARE <PlayScript/> IN YOUR SOCIAL MEDIA
* <PlayScript/> IS AN OPEN-SOURCE BROWSER BASED APP
* THANKYOU, HAVE A NICE DAY
* © 2015 prijm.com
*
*/
require_once "includes/php/header_files.php";
if ($_POST['functionName'] === "SaveSettings") {
$saved = GetGeneralSettings();
if (!isset($_POST['theme'])) {
$theme = $saved->theme;
} else {
$theme = $_POST['theme'];
}
if (!isset($_POST['fontsize'])) {
$fontsize = $saved->fontsize;
} else {
$fontsize = $_POST['fontsize'];
}
if (!isset($_POST['language'])) {
$language = $saved->language;
} else {
$language = $_POST['language'];
}
$filename = "TempFiles/" . $_GET['file'];
$filename = trim($filename);
$theFile = str_replace("TempFiles/", "", $filename);
$FileArchived = "YES";
}
if (isset($FileArchived)) {
$ExecFile = str_replace(".php", "", $theFile);
$DynamicName = $ExecFile . "-" . time();
} else {
$DynamicName = time();
if (isset($_POST['SetFileName'])) {
$ExecFile = $_POST['SetFileName'];
}
}
// Fetch general editor settings.
$settings = GetGeneralSettings();
?>
<div class="maincontainer">
<?php
if (SecretKey() === "NONE") {
?>
<?php
/**
* check for secret key if there is no secret key then promt the set a secret key window and hide all other infos.
**/
require_once "includes/php/setKey.php";
?>
<?php
