User Tools

Site Tools


format_code

This is an old revision of the document!


resource

| code.php
if (!$lang) $lang = NULL;
// add one line
if (!trim($title) && $lang) $title = "Language: $lang";
// end addition
} else {}
good.css
div.code, div.file {
  width: 92%;
  margin: 1em auto;
  border: 1px solid;
  padding: 4px;
}
format_code.1472438459.txt.gz · Last modified: 2016/08/28 21:41 (external edit)