robertpeteuil

This Gist contains the GitHub Language colors in CSS and JSON formats in seperate files.

sergeyterr

<?php

	$true_page = 'myparameters.php'; // это часть URL страницы, рекомендую использовать строковое значение, т.к. в данном случае не будет зависимости от того, в какой файл вы всё это вставите

	/*
	 * Функция, добавляющая страницу в пункт меню Настройки
	 */
	function true_options()
	{
		global $true_page;