' . join("\n
';
54 | }
55 | ?>
56 |
57 | elems->analytics) && $ctx->elems->analytics && !$ctx->auth->admin()) : ?>
58 | elems->conf->debug)) : ?>
59 |
60 |
61 |
68 |
69 |
70 |
71 |
72 |
73 |
74 |
75 |
--------------------------------------------------------------------------------
/module/.htaccess:
--------------------------------------------------------------------------------
1 | Order deny,allow
2 | Deny from all
3 |
--------------------------------------------------------------------------------
/module/Context.php:
--------------------------------------------------------------------------------
1 | ctx->usersDao->findFirst("username = '$username'");
10 | if ($record === false) {
11 | return false;
12 | }
13 | if ($record->password != $password) {
14 | $tempPwd = $this->ctx->miscService->getTaggedValue("pwd-{$record->id}");
15 | if (!$tempPwd) {
16 | return false;
17 | }
18 | list($ts, $hash) = explode(' ', $tempPwd);
19 | if ($ts + 1800 < time() || $hash != $password) {
20 | return false;
21 | }
22 | }
23 | $this->ctx->util->sessionPut('userid', $record->id);
24 | return true;
25 | }
26 |
27 | function logout() {
28 | $this->ctx->util->sessionDel('userid');
29 | }
30 |
31 | function check($role) {
32 | $userid = $this->loggedUser();
33 | if ($userid === null) {
34 | return false;
35 | }
36 | return $this->ctx->rolesDao->findFirst("userid = $userid and role = '$role'") !== false;
37 | }
38 |
39 | protected function checkWithHeader($role, $header, $page) {
40 | if ($this->check($role)) {
41 | return true;
42 | }
43 | $this->ctx->util->changePage($page);
44 | header($header);
45 | return false;
46 | }
47 |
48 | public function loggedUser() {
49 | return $this->ctx->util->sessionGet('userid');
50 | }
51 |
52 | function checkWith403($role) {
53 | return $this->checkWithHeader($role, 'HTTP/1.0 403 Forbidden', 'error403');
54 | }
55 |
56 | function checkWith404($role) {
57 | return $this->checkWithHeader($role, 'HTTP/1.0 404 Not Found', 'error404');
58 | }
59 |
60 | function checkWithRedirect($role, $url) {
61 | return $this->checkWithHeader($role, "Location: $url");
62 | }
63 |
64 | function admin() {
65 | return $this->check('admin');
66 | }
67 |
68 | function user() {
69 | return $this->check('user');
70 | }
71 |
72 | function username() {
73 | $id = $this->loggedUser();
74 | if (!$id) {
75 | return '';
76 | }
77 | $user = $this->ctx->usersDao->read($id);
78 | return $user->username;
79 | }
80 |
81 | }
82 |
--------------------------------------------------------------------------------
/module/dao/ChallengesDao.php:
--------------------------------------------------------------------------------
1 | query("select userid, sum(total) as points from "
13 | . $this->getTable() . " where userid <> 0 group by userid");
14 | $res = $this->objectsArray($res);
15 | $lookup = array();
16 | foreach ($res as $rec) {
17 | $lookup[$rec->userid] = $rec->points;
18 | }
19 | return $lookup;
20 | }
21 |
22 | }
23 |
24 |
--------------------------------------------------------------------------------
/module/dao/ForumTopicsDao.php:
--------------------------------------------------------------------------------
1 | query('select * from '
13 | . $this->getTable() . " where lastpost > '$from' order by lastpost desc limit 20");
14 | return $this->objectsArray($res);
15 | }
16 |
17 | }
18 |
19 |
--------------------------------------------------------------------------------
/module/dao/MysqlDao.php:
--------------------------------------------------------------------------------
1 | table = self::$shared['prefix'] . $table;
16 | $this->entityClass = $entityClass;
17 | $this->conn = self::$shared['conn'];
18 | }
19 |
20 | function read($id) {
21 | $query = "select * from {$this->table} where id = $id";
22 | $res = $this->conn->query($query);
23 |
24 | if ($res === false || $res->num_rows < 1) {
25 | return false;
26 | }
27 |
28 | $res = $this->objectsArray($res);
29 | return $res[0];
30 | }
31 |
32 | function save($entity) {
33 | $a = [];
34 | foreach (((array) $entity) as $k => $v) {
35 | if ($v === null) continue;
36 | $a[$k] = $this->conn->escape_string($v);
37 | }
38 | $names = implode(',', array_keys($a));
39 | $values = implode('","', array_values($a));
40 | $query = sprintf('replace into %s (%s) values ("%s")', $this->table, $names, $values);
41 | $res = $this->conn->query($query);
42 | if ($res === false) {
43 | return false;
44 | }
45 | if (isset($entity->id) && $entity->id !== null) {
46 | return $entity->id;
47 | }
48 | return $this->conn->insert_id;
49 | }
50 |
51 | function delete($id) {
52 | $query = "delete from {$this->table} where id = $id";
53 | return $this->conn->query($query);
54 | }
55 |
56 | function findIds($cond = null, $limit = null, $offset = null) {
57 | $query = "select id from {$this->table}";
58 | $query .= $this->clauses($cond, $limit, $offset);
59 | $res = $this->conn->query($query);
60 |
61 | return $this->singleFieldArray($res);
62 | }
63 |
64 | function find($cond = null, $limit = null, $offset = null) {
65 | $query = "select * from {$this->table}";
66 | $query .= $this->clauses($cond, $limit, $offset);
67 | $res = $this->conn->query($query);
68 |
69 | return $this->objectsArray($res);
70 | }
71 |
72 | function makeLookup($key = 'id', $cond = null) {
73 | $res = $this->find($cond);
74 | $lookup = array();
75 | foreach ($res as $val) {
76 | $lookup[$val->$key] = $val;
77 | }
78 | return $lookup;
79 | }
80 |
81 | function findFirst($cond = null) {
82 | $res = $this->find($cond, 1);
83 | if ($res === false || sizeof($res) < 1) {
84 | return false;
85 | }
86 | return $res[0];
87 | }
88 |
89 | function getCount($cond = null) {
90 | $query = "select count(*) from {$this->table}";
91 | $query .= $this->clauses($cond, null, null);
92 | $res = $this->conn->query($query);
93 | $res = $this->singleFieldArray($res);
94 | return $res[0];
95 | }
96 |
97 | protected function query($query) {
98 | return $this->conn->query($query);
99 | }
100 |
101 | private function clauses($cond, $limit, $offset) {
102 | if ($cond !== null) {
103 | $query = " where $cond";
104 | } else {
105 | $query = "";
106 | }
107 | if ($offset !== null) {
108 | $query .= " limit $offset, $limit";
109 | } else if ($limit !== null) {
110 | $query .= " limit $limit";
111 | }
112 | return $query;
113 | }
114 |
115 | protected function objectsArray($res) {
116 | if ($res === false) {
117 | return false;
118 | }
119 |
120 | $a = array();
121 | while (true) {
122 | $o = $res->fetch_object($this->entityClass);
123 | if ($o === null) {
124 | break;
125 | }
126 | array_push($a, $o);
127 | }
128 |
129 | return $a;
130 | }
131 |
132 | protected function singleFieldArray($res) {
133 | if ($res === null) {
134 | return false;
135 | }
136 |
137 | $f = array();
138 | while (true) {
139 | $row = $res->fetch_row();
140 | if ($row === null) {
141 | break;
142 | }
143 | array_push($f, $row[0]);
144 | }
145 |
146 | return $f;
147 | }
148 |
149 | public function lastError() {
150 | return self::$shared['error'];
151 | }
152 |
153 | public function getTable() {
154 | return $this->table;
155 | }
156 |
157 | public function getPrefix() {
158 | return self::$shared['prefix'];
159 | }
160 |
161 | protected static function init() {
162 | if (self::$shared !== null) {
163 | return;
164 | }
165 |
166 | global $ctx;
167 | $elems = $ctx->elems;
168 | $port = $elems->conf->mysql['port'];
169 | $conn = new \mysqli(
170 | "{$elems->conf->mysql['host']}" . (!empty($port) ? ":$port" : ""),
171 | $elems->conf->mysql['username'],
172 | $elems->conf->mysql['password']);
173 |
174 | self::$shared = array('conn' => $conn, 'prefix' => $elems->conf->mysql['prefix'], 'error' => null);
175 |
176 | if ($conn->connect_error) {
177 | self::$shared['error'] = "Mysql connection error {$conn->connect_errno}";
178 | return;
179 | }
180 |
181 | $conn->set_charset('utf8');
182 |
183 | $res = $conn->select_db($elems->conf->mysql['db']);
184 |
185 | if ($res === false) {
186 | self::$shared['error'] = 'Mysql database error';
187 | return;
188 | }
189 | }
190 |
191 | function __destruct() {
192 | if (self::$shared === null) {
193 | return;
194 | }
195 | self::$shared['conn']->close();
196 | self::$shared = null;
197 | }
198 |
199 | }
200 |
--------------------------------------------------------------------------------
/module/dao/TasksDao.php:
--------------------------------------------------------------------------------
1 | query('update ' . $this->getTable()
13 | . ' set solved = (select count(userid) from '
14 | . $this->getPrefix() . 'usertasks where solved > 0 and taskid = ' . $this->getTable() . '.id)');
15 | }
16 |
17 | function updateCosts() {
18 | $this->query('update ' . $this->getTable() . ' full join '
19 | . '(select max(solved) + 1 as maxsolved from ' . $this->getTable() . ') mx '
20 | . 'set cost = 1 + log10(maxsolved / (solved + 1)) * 4');
21 | }
22 |
23 | }
24 |
--------------------------------------------------------------------------------
/module/dao/UserDataDao.php:
--------------------------------------------------------------------------------
1 | query('select date(created) as thedate, count(userid) as cnt from '
13 | . $this->getTable() . " where solved > 0 and created > '$from' group by thedate order by thedate desc");
14 | return $this->objectsArray($res);
15 | }
16 |
17 | function updatePoints() {
18 | $this->query('update ' . $this->getTable() . ' join ' . $this->getPrefix() . 'userpoints using(userid) '
19 | . 'set points = sumcost');
20 | $this->query('update ' . $this->getTable() . ' set rankpos = '
21 | . '(select @idx := @idx + 1 from (select @idx := 0) s) '
22 | . 'order by points desc');
23 | }
24 |
25 | function languages() {
26 | $res = $this->query('select * from '
27 | . '(select language,count(1) as cnt from ' . $this->getTable() . ' group by language) '
28 | . 'subq order by cnt desc');
29 | return $this->objectsArray($res);
30 | }
31 |
32 | }
33 |
--------------------------------------------------------------------------------
/module/dao/UserTasksDao.php:
--------------------------------------------------------------------------------
1 | query("select language, count(language) as cnt from "
13 | . $this->getTable() . " where userid = $userid group by language");
14 | return $this->objectsArray($res);
15 | }
16 |
17 | function solvingStats($from) {
18 | $res = $this->query('select date(ts) as thedate, count(id) as cnt from '
19 | . $this->getTable() . " where solved > 0 and ts > '$from' and variant = 0 group by thedate order by thedate desc");
20 | return $this->objectsArray($res);
21 | }
22 |
23 | function topOfWeek($limit) {
24 | $res = $this->query("select userid, count(taskid) as cnt from " . $this->getTable()
25 | . " where solved = 1 and variant = 0 and ts > now() - interval 7 day group by userid order by cnt desc limit $limit");
26 | return $this->objectsArray($res);
27 | }
28 |
29 | function searchSolution($taskid, $snippet, $count=20, $offset = 0) {
30 | $res = $this->query(
31 | "select url, language, length(s.solution) as len from {$this->getTable()} ut "
32 | . "join {$this->getPrefix()}solutions s on ut.id = s.usertaskid "
33 | . "join {$this->getPrefix()}users u on ut.userid = u.id "
34 | . "where taskid = $taskid and INSTR(FROM_BASE64(solution),
35 | '$snippet') limit $count offset $offset");
36 | return $this->objectsArray($res);
37 | }
38 |
39 | function solvers($criteria, $noblanks=true) {
40 | $res = $this->query(
41 | "select ut.id from {$this->getTable()} ut "
42 | . "join {$this->getPrefix()}solutions s on ut.id = s.usertaskid "
43 | . "where $criteria" . ($noblanks ? " and length(s.solution) > 13" : ""));
44 | return $this->singleFieldArray($res);
45 | }
46 |
47 | function languages() {
48 | $res = $this->query('select * from '
49 | . '(select language,count(1) as cnt from ' . $this->getTable() . ' where solved=1 group by language) '
50 | . 'subq order by cnt desc');
51 | return $this->objectsArray($res);
52 | }
53 |
54 | function lastSolved($userid) {
55 | $res = $this->query("select taskid, ts as ts "
56 | . "from {$this->getTable()} "
57 | . "where userid = $userid and solved=1 order by ts desc limit 1");
58 | if (!$res) {
59 | return [0, 0];
60 | }
61 | $res = $this->objectsArray($res);
62 | return [$res[0]->taskid, strtotime($res[0]->ts)];
63 | }
64 |
65 | function neverSolvedIds($userid) {
66 | $res = $this->query("select taskid from {$this->getTable()} "
67 | . "where userid=$userid group by taskid having max(solved)=-1");
68 | return $this->singleFieldArray($res);
69 | }
70 | }
71 |
--------------------------------------------------------------------------------
/module/service/CertService.php:
--------------------------------------------------------------------------------
1 | ctx->challengesDao->getCount("taskid = $taskid and userid = 0") != 0;
11 | }
12 |
13 | function arenaExists($taskid) {
14 | $ch = $this->ctx->challengesDao->findFirst("taskid = {$taskid} and userid = 0");
15 | return is_object($ch) && preg_match('/\+arena$/', $ch->notes) > 0;
16 | }
17 |
18 | function processResult($taskid, $userid, $result) {
19 | $result = explode(' ', $result, 2);
20 | $score = (float) $result[0];
21 | $notes = $result[1];
22 | $this->updateResult($taskid, $userid, $score, $notes);
23 | $this->recalculate($taskid);
24 | }
25 |
26 | function updateResult($taskid, $userid, $score, $notes) {
27 | $ctx = $this->ctx;
28 | $chlng = $ctx->challengesDao->findFirst("taskid = $taskid and userid = $userid");
29 | if (!is_object($chlng)) {
30 | $chlng = new \stdClass();
31 | $chlng->taskid = $taskid;
32 | $chlng->userid = $userid;
33 | }
34 | $chlng->score = $score;
35 | $chlng->notes = $notes;
36 | $ctx->challengesDao->save($chlng);
37 | }
38 |
39 | function recalculate($taskid) {
40 | $ctx = $this->ctx;
41 | $stats = $this->loadAndSort($taskid);
42 | if (empty($stats)) {
43 | return;
44 | }
45 | $prev = INF;
46 | $count = -1;
47 | foreach ($stats as $entry) {
48 | $count++;
49 | if ($prev - $entry->score > $entry->score * 1e-6) {
50 | $prev = $entry->score;
51 | $curCount = $count;
52 | }
53 | $entry->total = $this->maxScore * exp(- $curCount / 16);
54 | $ctx->challengesDao->save($entry);
55 | }
56 | }
57 |
58 | function loadStats($taskid) {
59 | $ctx = $this->ctx;
60 | $stats = $this->loadAndSort($taskid);
61 | if (empty($stats)) {
62 | return $stats;
63 | }
64 | $userIds = $ctx->miscService->listIds($stats, 'userid');
65 | $users = $ctx->usersDao->makeLookup('id', "id in ($userIds)");
66 | foreach ($stats as $entry) {
67 | $user = $users[$entry->userid];
68 | $entry->username = $user->username;
69 | $entry->userurl = $user->url;
70 | }
71 | return $stats;
72 | }
73 |
74 | function loadAndSort($taskid) {
75 | $stats = $this->ctx->challengesDao->find("taskid = $taskid and userid <> 0");
76 | if (empty($stats)) {
77 | return $stats;
78 | }
79 | usort($stats, array('\module\service\ChallengeService', 'statsSort'));
80 | return $stats;
81 | }
82 |
83 | static function statsSort($a, $b) {
84 | if ($a->score > $b->score) {
85 | return -1;
86 | } else if ($a->score < $b->score) {
87 | return 1;
88 | }
89 | return 0;
90 | }
91 |
92 | }
93 |
94 |
--------------------------------------------------------------------------------
/module/service/CheatService.php:
--------------------------------------------------------------------------------
1 | status($userid)->suspended;
9 | }
10 |
11 | public function status($userid) {
12 | $res = new \stdClass();
13 | $res->score = 7;
14 | $res->suspended = false;
15 | $res->msg = '';
16 | $res->note = '';
17 | return $res;
18 | }
19 | }
20 |
--------------------------------------------------------------------------------
/module/service/FriendService.php:
--------------------------------------------------------------------------------
1 | loadFriendship($userid, $targetid);
9 | if (!is_object($res)) {
10 | return 0;
11 | }
12 | return $res->visible ? 1 : -1;
13 | }
14 |
15 | private function loadFriendship($userid, $targetid) {
16 | return $this->ctx->friendsDao->findFirst("userid = $userid and targetid = $targetid");
17 | }
18 |
19 | function followedByCount($userid) {
20 | return $this->ctx->friendsDao->getCount("targetid = $userid");
21 | }
22 |
23 | function followingCount($userid) {
24 | return $this->ctx->friendsDao->getCount("userid = $userid");
25 | }
26 |
27 | function followedBy($userid) {
28 | $list = $this->ctx->friendsDao->find("targetid = $userid and visible <> 0");
29 | return $this->loadUsers($list, 'userid');
30 | }
31 |
32 | function following($userid) {
33 | $list = $this->ctx->friendsDao->find("userid = $userid and visible <> 0");
34 | return $this->loadUsers($list, 'targetid');
35 | }
36 |
37 | function followingAllIds($userid) {
38 | $list = $this->ctx->friendsDao->makeLookup('targetid', "userid = $userid");
39 | return array_keys($list);
40 | }
41 |
42 | private function loadUsers(&$records, $field) {
43 | $users = array();
44 | foreach ($records as $rec) {
45 | $users[] = $this->ctx->usersDao->read($rec->$field);
46 | }
47 | return $users;
48 | }
49 |
50 | function changeState($userid, $targetid, $secret) {
51 | $cur = $this->loadFriendship($userid, $targetid);
52 | if (is_object($cur)) {
53 | $this->ctx->friendsDao->delete($cur->id);
54 | } else {
55 | $f = new \stdClass();
56 | $f->userid = $userid;
57 | $f->targetid = $targetid;
58 | $f->visible = $secret ? 0 : 1;
59 | $this->ctx->friendsDao->save($f);
60 | }
61 | }
62 |
63 | }
64 |
65 |
--------------------------------------------------------------------------------
/module/service/LangService.php:
--------------------------------------------------------------------------------
1 | \:\;\s]/', '', $s));
11 | if ($lenBf / ($len + 1) > 0.6 && strpos($s, '#include') === false) {
12 | return 'Brainfuck';
13 | }
14 | if (stripos($s, '<-') !== false) {
15 | return "R";
16 | }
17 | if (strpos($s, 'var ') !== false) {
18 | return strpos($s, 'using ') !== false ? "C#" : "JavaScript";
19 | }
20 | if (preg_match('/\bputs|gets\b/', $s) == 1
21 | && preg_match('/\b\.times|\.each\b/', $s) == 1) {
22 | return "Ruby";
23 | }
24 | if (preg_match('/with\s+ada/i', $s) == 1) {
25 | return "Ada";
26 | }
27 | if (preg_match('/fn\s+main/i', $s) == 1) {
28 | return "Rust";
29 | }
30 | $endMatches = array();
31 | $endlines = preg_match_all('/[\,\;\{][\040\t]*[\n\r]/', $s, $endMatches);
32 | if ($endlines / ($cnt[10] + 1) > 0.4) {
33 | if (strpos($s, '#include') !== false) {
34 | return "C/C++";
35 | }
36 | if (preg_match('/main\s*\(\s*String/', $s) == 1) {
37 | return "Java";
38 | }
39 | if ($cnt[ord('$')] / $len > 0.005) {
40 | return "PHP";
41 | }
42 | return "C#";
43 | } else {
44 | if (preg_match('/\([\+]/', $s) == 1) {
45 | return "LISP";
46 | }
47 | if (stripos($s, 'dim ') !== false) {
48 | return "VB";
49 | }
50 | if (stripos($s, 'local ') !== false) {
51 | return "Lua";
52 | }
53 | return "Python";
54 | }
55 | }
56 |
57 | function languagesArray() {
58 | return $this->ctx->elems->conf->languages;
59 | }
60 |
61 | function preferredLanguage($userid) {
62 | $table = $this->ctx->userTasksDao->languagesCount($userid);
63 | $res = '';
64 | $max = 0;
65 | foreach ($table as $t) {
66 | if ($t->cnt > $max) {
67 | $max = $t->cnt;
68 | $res = $t->language;
69 | }
70 | }
71 | return $res;
72 | }
73 |
74 | function preferredLanguageUpdate($userid) {
75 | $lang = $this->preferredLanguage($userid);
76 | $data = $this->ctx->userDataDao->findFirst("userid = $userid");
77 | $data->language = $lang;
78 | $this->ctx->userDataDao->save($data);
79 | return $lang;
80 | }
81 |
82 | function checkAndFixLanguage($language) {
83 | $languages = $this->languagesArray();
84 | if (isset($languages[$language])) {
85 | return $languages[$language];
86 | } else if (in_array($language, $languages)) {
87 | return $language;
88 | }
89 | return null;
90 | }
91 |
92 | function changeLanguage($task, $user, &$oldLang, &$language, $confirm, $model) {
93 | $language = $this->checkAndFixLanguage($language);
94 | $oldLang = $this->checkAndFixLanguage($oldLang);
95 | if ($oldLang === null || $language === null) {
96 | return array(0, "Unknown error");
97 | }
98 |
99 | $userTaskOld = $this->ctx->userTasksDao->findFirst("taskid = {$task->id} and userid = {$user->id} and language = '$oldLang'");
100 | $userTaskNew = $this->ctx->userTasksDao->findFirst("taskid = {$task->id} and userid = {$user->id} and language = '$language'");
101 | if (!is_object($userTaskOld)) {
102 | return array(0, 'Solution missed');
103 | }
104 |
105 | if ($confirm) {
106 | $this->doChangeLanguage($userTaskOld, $userTaskNew, $task->url, $user->url, $language);
107 | return array(2, 'Language successfully changed');
108 | } else {
109 | $this->prepareConfirmation($task, $user, $oldLang, $language, is_object($userTaskNew), $model);
110 | return array(1);
111 | }
112 | }
113 |
114 | private function doChangeLanguage($userTaskOld, $userTaskNew, $taskurl, $userurl, $language) {
115 | $ctx = $this->ctx;
116 | if (is_object($userTaskNew)) {
117 | $userTaskOld->solved = max($userTaskNew->solved, $userTaskOld->solved);
118 | $userTaskOld->variant = min($userTaskNew->variant, $userTaskOld->variant);
119 | }
120 | $userTaskOld->language = $language;
121 | $ctx->userTasksDao->save($userTaskOld);
122 | if (is_object($userTaskNew)) {
123 | $this->deleteDuplicateSolution($userTaskOld, $userTaskNew);
124 | }
125 | }
126 |
127 | private function deleteDuplicateSolution($userTaskOld, $userTaskNew) {
128 | $ctx = $this->ctx;
129 | $votes = $ctx->codelikesDao->find("codeid = {$userTaskNew->id}");
130 | foreach ($votes as $vote) {
131 | $vote->codeid = $userTaskOld->id;
132 | $ctx->codelikesDao->save($vote);
133 | }
134 | $ctx->userTasksDao->delete($userTaskNew->id);
135 | }
136 |
137 | private function prepareConfirmation($task, $user, $oldlang, $language, $overwrite, $model) {
138 | $model->task = $task;
139 | $model->username = $user->username;
140 | $model->userurl = $user->url;
141 | $model->oldlang = $oldlang;
142 | $model->newlang = $language;
143 | $model->overwrite = $overwrite;
144 | $model->backurl = url('task_solution', 'task', $task->url, 'user', $user->url, 'lang', urlencode($oldlang));
145 | }
146 | }
147 |
--------------------------------------------------------------------------------
/module/service/LocaleService.php:
--------------------------------------------------------------------------------
1 | LOCALES_ARRAY = array('ar' => 'Arabic', 'es' => 'Spanish',
11 | 'fr' => 'French', 'de' => 'German', 'ro' => 'Romanian',
12 | 'ru' => 'Russian', 'sk' => 'Slovak', 'zh' => 'Chinese',
13 | 'ua' => 'Ukrainian');
14 | }
15 |
16 | function parseLocale($url) {
17 | if (strpos($url, '--') == false) {
18 | return array($url, '');
19 | }
20 | $res = explode('--', $url, 2);
21 | if (!in_array($res[1], array_keys($this->LOCALES_ARRAY))) {
22 | $res[0] = '';
23 | }
24 | return $res;
25 | }
26 |
27 | public function availableTaskLocales($id) {
28 | $loc = $this->ctx->miscService->getTaggedValue("tran-$id");
29 | if (empty($loc)) {
30 | return array();
31 | }
32 | $ava = $this->LOCALES_ARRAY;
33 | $loc = explode(' ', $loc);
34 | $res = array();
35 | foreach ($loc as $k) {
36 | if (isset($ava[$k])) {
37 | $res[$k] = $ava[$k];
38 | }
39 | }
40 | return $res;
41 | }
42 |
43 | public function direction($locale) {
44 | return $locale != 'ar' ? 'ltr' : 'rtl';
45 | }
46 | }
47 |
48 |
--------------------------------------------------------------------------------
/module/service/LoginService.php:
--------------------------------------------------------------------------------
1 | ctx;
9 | if ($hashed) {
10 | $password = $this->hashPassword($password);
11 | }
12 | $ctx->auth->login($username, $password);
13 | $userid = $ctx->auth->loggedUser();
14 | if (!$userid) {
15 | return null;
16 | }
17 | if ($ctx->auth->user()) {
18 | $this->afterLogin($userid, $username);
19 | }
20 | return $userid;
21 | }
22 |
23 | function afterLogin($userid, $username) {
24 | $ctx = $this->ctx;
25 | $userdata = $ctx->userDataDao->findFirst("userid = $userid");
26 | $userdata->lastlogin = date('Y-m-d H:i:s');
27 | $remoteAddress = $this->remoteAddress();
28 | $country = $this->detectCountry($remoteAddress);
29 | $ctx->util->sessionPut('country', $country);
30 | if (empty($userdata->country)) {
31 | $userdata->country = $country;
32 | }
33 | $lang = $_SERVER['HTTP_ACCEPT_LANGUAGE'];
34 | $ctx->userDataDao->save($userdata);
35 | $ctx->miscService->logAction($userid, "login $remoteAddress $country $lang");
36 | $ctx->miscService->postToMessHall($userid, "I've just logged in...");
37 | $ctx->msgService->loadNotifications($userid);
38 | }
39 |
40 | function remoteAddress() {
41 | if(!empty($_SERVER['REMOTE_ADDR']) ){
42 | return $_SERVER['REMOTE_ADDR'];
43 | }
44 | if (!empty($_SERVER['HTTP_X_FORWARDED_FOR'])) {
45 | return $_SERVER['HTTP_X_FORWARDED_FOR'];
46 | }
47 | return '';
48 | }
49 |
50 | function detectCountry($ip) {
51 | $ip = trim($ip);
52 | $lines = file_get_contents('./data/db-ip.txt');
53 | if (!preg_match('/\d+\.\d+\.\d+\.\d+/', $ip) || $lines === false) {
54 | return 'ZZ';
55 | }
56 | $ip = explode('.', $ip);
57 | $res = 0;
58 | foreach ($ip as $d) {
59 | $res = $res * 256 + $d;
60 | }
61 | $lines = explode("\n", $lines);
62 | $min = 0;
63 | $max = count($lines) - 1;
64 | while ($min < $max) {
65 | $mid = floor(($min + $max + 1) / 2);
66 | $line = explode(' ', $lines[$mid]);
67 | $start = floatval(base_convert($line[0], 36, 10));
68 | if ($start > $res) {
69 | $max = $mid - 1;
70 | } else {
71 | $min = $mid;
72 | }
73 | }
74 | $line = explode(' ', $lines[$min]);
75 | $from = floatval(base_convert($line[0], 36, 10));
76 | $till = $from + floatval(base_convert($line[1], 36, 10));
77 | return ($res >= $from && $res <= $till) ? $line[2] : 'ZZ';
78 | }
79 |
80 | function githubLoginUrl() {
81 | return '#';
82 | }
83 |
84 | function googleLoginUrl() {
85 | return '#';
86 | }
87 |
88 | function hashPassword($pwd) {
89 | return base64_encode(hash('sha512', $this->ctx->elems->conf->passwordSalt . $pwd, true));
90 | }
91 |
92 | function hashEmail($email) {
93 | $email = strtolower($email);
94 | $h = base64_encode(hash('sha512', $this->ctx->elems->conf->emailSalt . $email, true));
95 | $tail = preg_replace('/^[^\@]+/', '', $email);
96 | return $email[0] . '*' . substr($h, 0, 8) . $tail;
97 | }
98 | }
99 |
--------------------------------------------------------------------------------
/module/service/MiscService.php:
--------------------------------------------------------------------------------
1 | ctx->countriesDao->findFirst("code = '$code'");
12 | if (is_object($country)) {
13 | return $country->title;
14 | }
15 | return null;
16 | }
17 |
18 | function curTimeStr() {
19 | return date('Y-m-d H:i:s');
20 | }
21 |
22 | function formatDate($ts, $withTime = false) {
23 | if (gettype($ts) == 'string') {
24 | $ts = strtotime($ts);
25 | }
26 | return date($withTime ? 'M j Y H:i' : 'M j Y', $ts);
27 | }
28 |
29 | function formatTitle() {
30 | if (empty($this->ctx->elems->title)) {
31 | return $this->ctx->elems->conf->title;
32 | }
33 |
34 | return "{$this->ctx->elems->title} - {$this->ctx->elems->conf->projectName}";
35 | }
36 |
37 | function formatDescription() {
38 | if (!empty($this->ctx->elems->description)) {
39 | return $this->ctx->elems->description;
40 | }
41 | if (empty($this->ctx->elems->title)) {
42 | return $this->ctx->elems->conf->descr;
43 | }
44 | $title = preg_replace('/[\"\&]/', '', $this->ctx->elems->title);
45 | return "$title - {$this->ctx->elems->conf->descrSuffix}";
46 | }
47 |
48 | function headerLastModified($timestamp) {
49 | $time = strtotime($timestamp);
50 | $twoWeeksAgo = time() - 86400 * 14;
51 | $time = max($time, $twoWeeksAgo);
52 | header('Last-Modified: ' . date("D, d M Y H:i:s", $time) . ' GMT');
53 | }
54 |
55 | function postToMessHall($userid, $message) {
56 | $record = new \stdClass();
57 | $record->userid = $userid;
58 | $record->created = date('Y-m-d H:i:s');
59 | $record->message = base64_encode($message);
60 | $this->ctx->chatDao->save($record);
61 | }
62 |
63 | function logAction($userid, $message) {
64 | $date = date('Ymd-His');
65 | if (!empty($userid)) {
66 | $user = $this->ctx->usersDao->read($userid);
67 | $url = $user->url;
68 | } else {
69 | $url = '-null-';
70 | }
71 | $logName = $this->ctx->elems->conf->logging['activity'] ?? false;
72 | if ($logName)
73 | error_log("$date $url $message\n", 3, $logName);
74 | }
75 |
76 | function summarize(&$arr, $field) {
77 | $res = array();
78 | foreach ($arr as $elem) {
79 | $idx = $elem->$field;
80 | if (!isset($res[$idx])) {
81 | $res[$idx] = 1;
82 | } else {
83 | $res[$idx]++;
84 | }
85 | }
86 | return $res;
87 | }
88 |
89 | function listIds(&$arr, $field, $imploded = true) {
90 | $res = $this->summarize($arr, $field);
91 | $res = array_keys($res);
92 | if ($imploded) {
93 | $res = implode(',', $res);
94 | }
95 | return $res;
96 | }
97 |
98 | function validUrlParam($url) {
99 | return $url === null || preg_match('/^[a-z0-9\-\_]+$/', $url);
100 | }
101 |
102 | function validUrlParams() {
103 | $args = func_get_args();
104 | foreach ($args as $a) {
105 | if (!$a || !$this->validUrlParam($a)) {
106 | return false;
107 | }
108 | }
109 | return true;
110 | }
111 |
112 | function encryptInt($value) {
113 | return sprintf("%12d", $value);
114 | }
115 |
116 | function decryptInt($cipher) {
117 | return intval($cipher);
118 | }
119 |
120 | function setTaggedValue($tag, $val) {
121 | $record = $this->ctx->tagValDao->findFirst("tag = '$tag'");
122 | if (!is_object($record)) {
123 | $record = new \stdClass();
124 | $record->tag = $tag;
125 | } else if ($val === null) {
126 | $this->ctx->tagValDao->delete($record->id);
127 | return;
128 | }
129 | $record->val = base64_encode(serialize($val));
130 | $this->ctx->tagValDao->save($record);
131 | }
132 |
133 | function getTaggedValue($tag) {
134 | $record = $this->ctx->tagValDao->findFirst("tag = '$tag'");
135 | if (!is_object($record)) {
136 | return null;
137 | }
138 | return unserialize(base64_decode($record->val));
139 | }
140 |
141 | function getTaggedValues($prefix) {
142 | $records = $this->ctx->tagValDao->find("tag like '$prefix%'");
143 | $res = array();
144 | foreach ($records as $rec) {
145 | $res[$rec->tag] = unserialize(base64_decode($rec->val));
146 | }
147 | return $res;
148 | }
149 |
150 | function isMobile() {
151 | $aMobileUA = array('/iphone/i' => 'iPhone', '/ipod/i' => 'iPod', '/ipad/i' => 'iPad',
152 | '/android/i' => 'Android', '/blackberry/i' => 'BlackBerry', '/webos/i' => 'Mobile');
153 | foreach($aMobileUA as $sMobileKey => $sMobileOS){
154 | if(preg_match($sMobileKey, $_SERVER['HTTP_USER_AGENT'])){
155 | return true;
156 | }
157 | }
158 | return false;
159 | }
160 |
161 | function calcPoints() {
162 | $this->ctx->tasksDao->updateCosts();
163 | $tasks = $this->ctx->tasksDao->makeLookup();
164 |
165 | $res = [];
166 | foreach ($tasks as $t) {
167 | if ($this->ctx->challengeService->challengeExists($t->id)) {
168 | $this->ctx->challengeService->recalculate($t->id);
169 | }
170 | $res[] = "{$t->title}: {$t->cost}\n";
171 | }
172 |
173 | $this->ctx->userDataDao->updatePoints();
174 |
175 | return $res;
176 | }
177 |
178 | }
179 |
180 |
--------------------------------------------------------------------------------
/module/service/MsgService.php:
--------------------------------------------------------------------------------
1 | ctx;
9 | $msg = $this->loadPersonal($userid);
10 | if (!empty($msg)) {
11 | $ctx->util->sessionPut('message-personal', $msg);
12 | }
13 | }
14 |
15 | function loadPersonal($userid) {
16 | return $this->ctx->miscService->getTaggedValue("msg-$userid");
17 | }
18 |
19 | function setPersonal($userUrl, $msg) {
20 | $ctx = $this->ctx;
21 | $user = $ctx->usersDao->findFirst("url = '$userUrl'");
22 | if (is_object($user)) {
23 | $ctx->util->flash('Message set for ' . $user->url);
24 | $ctx->miscService->setTaggedValue("msg-{$user->id}", empty($msg) ? null : $msg);
25 | } else {
26 | $ctx->util->flash('User not found: ' . $userUrl);
27 | }
28 | }
29 |
30 | function clearPersonal() {
31 | $ctx = $this->ctx;
32 | $userId = $ctx->auth->loggedUser();
33 | $ctx->miscService->setTaggedValue("msg-$userId", null);
34 | $this->ctx->util->sessionDel('message-personal');
35 | }
36 |
37 | function getMessagePersonal() {
38 | $delta = time() - $this->ctx->util->sessionGet('message-personal-ts') ?? 0;
39 | if ($delta > 180) {
40 | $msg = $this->ctx->miscService->getTaggedValue('msg-' . $this->ctx->auth->loggedUser());
41 | if (!empty($msg)) {
42 | $this->ctx->util->sessionPut('message-personal-ts', time());
43 | $this->ctx->util->sessionPut('message-personal', $msg);
44 | }
45 | }
46 | return $this->ctx->util->sessionGet('message-personal');
47 | }
48 |
49 | function getAllPersonal() {
50 | $ctx = $this->ctx;
51 | $records = $ctx->tagValDao->find("tag like 'msg-%'");
52 | $users = array();
53 | foreach ($records as $rec) {
54 | $userid = substr($rec->tag, 4);
55 | $user = $ctx->usersDao->read($userid);
56 | $users[$user->id] = $user->username;
57 | }
58 | return $users;
59 | }
60 |
61 | }
62 |
63 |
--------------------------------------------------------------------------------
/module/service/StrUtils.php:
--------------------------------------------------------------------------------
1 | layout = 'default_bs';
22 | $this->styles = [];
23 | $this->scripts = [];
24 | $this->conf = new \stdClass();
25 | $this->conf->custFrag = [];
26 | $this->conf->custSvc = [];
27 | $this->conf->logging = [];
28 | $this->modules = array();
29 | $this->moduleOrder = array();
30 | $this->errors = array();
31 | self::$elems = $this;
32 | }
33 |
34 | function get($field, $default = '') {
35 | if (isset($this->$field)) {
36 | return $this->$field;
37 | }
38 | return $default;
39 | }
40 |
41 | function addError($e) {
42 | array_push($this->errors, $e);
43 | }
44 | }
45 |
46 |
--------------------------------------------------------------------------------
/module/sys/ProtoContext.php:
--------------------------------------------------------------------------------
1 | $methodName();
11 | } else {
12 | if (substr($name, -7) == 'Service') {
13 | $name = ucfirst($name);
14 | $name = $this->elems->conf->custSvc[$name] ?? $name;
15 | $fullname = "\\module\\service\\$name";
16 | $res = new $fullname();
17 | } elseif (substr($name, -3) == 'Dao') {
18 | $res = new \module\dao\MysqlDao(strtolower(substr($name, 0, -3)));
19 | } else {
20 | $fullname = "\\module\\lib\\" . ucfirst($name);
21 | $res = new $fullname();
22 | }
23 | }
24 | if (is_object($res)) {
25 | $res->ctx = $this;
26 | }
27 | $this->$name = $res;
28 | return $res;
29 | }
30 |
31 | protected function getElems() {
32 | return \module\sys\Elems::$elems;
33 | }
34 |
35 | protected function getUtil() {
36 | return new \module\sys\Util();
37 | }
38 |
39 | }
40 |
--------------------------------------------------------------------------------
/module/sys/Util.php:
--------------------------------------------------------------------------------
1 | sessionPrepare();
11 | $_SESSION[$key] = $value;
12 | }
13 |
14 | function sessionDel($key) {
15 | $this->sessionPrepare();
16 | unset($_SESSION[$key]);
17 | }
18 |
19 | function sessionGet($key) {
20 | $this->sessionPrepare();
21 | if (!isset($_SESSION[$key])) {
22 | return null;
23 | }
24 | return $_SESSION[$key];
25 | }
26 |
27 | private function sessionPrepare() {
28 | if (!$this->sessionStarted) {
29 | ini_set('session.gc_maxlifetime', 6 * 3600);
30 | session_start();
31 | $this->sessionStarted = true;
32 | }
33 | }
34 |
35 | function flash($msg = null) {
36 | if ($msg !== null) {
37 | $this->sessionPut('__flash_msg', $msg);
38 | } else {
39 | $res = $this->sessionGet('__flash_msg');
40 | $this->sessionDel('__flash_msg');
41 | return $res;
42 | }
43 | }
44 |
45 | function fullUrl($url, $prefix = 'http://') {
46 | if (strpos($url, '/') === false) {
47 | $url = url($url);
48 | }
49 | return $prefix . $_SERVER['HTTP_HOST'] . $url;
50 | }
51 |
52 | function sendGetRequest($url, $timeout = 3) {
53 | $context = stream_context_create(array('http' => array('timeout' => $timeout)));
54 | return file_get_contents($url, false, $context);
55 | }
56 |
57 | function sendPostRequest($url, $data, $timeout = 3, &$responseHeaders = null) {
58 | $context = stream_context_create(array('http' => array(
59 | 'header' => "Content-type: application/x-www-form-urlencoded",
60 | 'method' => 'POST',
61 | 'content' => !is_string($data) ? http_build_query($data) : $data,
62 | 'timeout' => $timeout
63 | )));
64 | $res = file_get_contents($url, false, $context);
65 | if ($responseHeaders !== null) {
66 | $responseHeaders = $http_response_header;
67 | }
68 | return $res;
69 | }
70 |
71 | function redirect($url) {
72 | if (strpos($url, '/') === false) {
73 | $url = url($url);
74 | }
75 | header("Location: $url");
76 | $this->changePage(null);
77 | }
78 |
79 | function paramGet($name) {
80 | if (!isset($_GET[$name])) {
81 | return null;
82 | }
83 | return $_GET[$name];
84 | }
85 |
86 | function paramPost($name) {
87 | if (!isset($_POST[$name])) {
88 | return null;
89 | }
90 | return $_POST[$name];
91 | }
92 |
93 | function fragment($name) {
94 | $name = $this->ctx->elems->conf->custFrag[$name] ?? $name;
95 | if ($name === '') {
96 | return;
97 | }
98 | $name = str_replace('_', '/', $name);
99 | if (!addfile('fragments/' . $name . '.html')) {
100 | echo '??? FRAGMENT: ' . $name . ' ???';
101 | }
102 | }
103 |
104 | function changePage($name) {
105 | $this->ctx->elems->page = str_replace('_', '/', $name ?? '');
106 | }
107 |
108 | function plainOutput($data, $type = 'text/plain') {
109 | $this->changePage(null);
110 | header("Content-Type: $type");
111 | echo $data;
112 | }
113 |
114 | function sillyDecode($s) {
115 | $hiCode = ord('p');
116 | $loCode = ord('k');
117 | $n = strlen($s);
118 | $res = array();
119 | for ($i = 0; $i < $n; $i += 2) {
120 | $res[] = chr(($hiCode - ord($s[$i])) * 16 + (ord($s[$i + 1]) - $loCode));
121 | }
122 | return implode('', $res);
123 | }
124 |
125 | function runScript($cmd, $input, &$output, &$stderr = null) {
126 | $dsc = array(
127 | array('pipe', 'r'),
128 | array('pipe', 'w'),
129 | array('pipe', 'w'));
130 | $pipes = array();
131 | $ps = proc_open($cmd, $dsc, $pipes);
132 | if (!is_resource($ps)) {
133 | return -1;
134 | }
135 | fwrite($pipes[0], $input);
136 | fclose($pipes[0]);
137 | $output = stream_get_contents($pipes[1]);
138 | fclose($pipes[1]);
139 | $err = stream_get_contents($pipes[2]);
140 | fclose($pipes[2]);
141 | if ($stderr !== null) {
142 | $stderr = $err;
143 | }
144 | return proc_close($ps);
145 | }
146 |
147 | function runSqlite($input) {
148 | return $this->sendPostRequest(
149 | 'http://rodiongork.freeshell.org/sqlrun.cgi', $input, 5);
150 | }
151 |
152 | }
153 |
--------------------------------------------------------------------------------
/pages/.htaccess:
--------------------------------------------------------------------------------
1 | Order deny,allow
2 | Deny from all
3 |
--------------------------------------------------------------------------------
/pages/error.php:
--------------------------------------------------------------------------------
1 | Excuse us, some error have happened.
4 |
--------------------------------------------------------------------------------
/pages/error403.php:
--------------------------------------------------------------------------------
1 |
4 | Excuse us, you have not access rights for this page.
6 |
--------------------------------------------------------------------------------
/pages/error404.php:
--------------------------------------------------------------------------------
1 |
4 | Excuse us, but there is no such page.
6 |
--------------------------------------------------------------------------------
/pages/forum/edit.php:
--------------------------------------------------------------------------------
1 | lastPost) ? 'id="lastPost"' : ''?>>
28 |
29 |
37 | user->avatar != '') : ?>
38 |
39 |
40 | post ?>
41 |
42 |
9 |
10 |
11 |
Here you can see what is going on at elems->conf->projectName ?>
12 |
13 |
14 |
15 | records as $rec) : ?>
16 |
17 | created ?>
18 |
19 | avatar != '') : ?>
20 |
23 |
24 |
25 |
26 | rank ?> message ?>
28 |
29 |
30 |
31 |
32 |
33 |
34 |
35 |
Weekly stats
36 |
37 |
38 |
39 | Date
40 | Solved
41 |
42 | stats as $st) : ?>
43 |
44 | thedate ?>
45 | cnt ?>
46 |
47 |
48 | statsAvg)) : ?>
49 |
50 | Avg15
51 | statsAvg ?>
52 |
53 |
54 |
55 |
56 |
57 |
62 |
--------------------------------------------------------------------------------
/pages/message.php:
--------------------------------------------------------------------------------
1 |
Warning!
2 |
3 |
msg ?>
--------------------------------------------------------------------------------
/pages/task/edit.php:
--------------------------------------------------------------------------------
1 |
task->id ? "Edit Task #{$model->task->id}" : "Create New task" ?>
2 |
3 |
4 |
5 |
31 |
32 |
--------------------------------------------------------------------------------
/pages/task/list.php:
--------------------------------------------------------------------------------
1 |
12 |
13 |
14 |
15 |
16 | addingAllowed) : ?>
17 |
Add new task
18 |
19 | filterTag)) : ?>
20 |
Volume :
21 |
22 | elems->conf->taskVolumes as $tag => $volume) : ?>
23 |
25 |
26 |
27 |
28 |
all tags
30 |
31 | volume !== null) : ?>
32 | Volume:
volume ?>
33 |
34 | Tagged with:
filterTag ?>
35 |
36 | - total tasks) ?>
37 |
38 |
(clear filter)
39 |
40 |
41 |
42 |
43 | Trending and Bookmarked
44 | Sort by Num of Solvers
45 | Sort by Creation Order
46 | by Solvers (with solved)
47 | by Creation (with solved)
48 |
49 |
57 |
58 |
59 |
60 |
61 |
62 |
63 | Id
64 | Title
65 | Translations
66 | Author
67 | Solved
68 | Blessing
69 | isUser ? 'Status ' : '' ?>
70 |
71 | tasks as $task) {
73 | $state = $task->state;
74 | $statusCell = $model->isUser ? "$state " : '';
75 | $editLink = $model->addingAllowed ? " editurl}\">edit " : '';
76 | $authorLink = $task->author
77 | ? '{$task->author} "
78 | : '';
79 | $solved = $task->solved;
80 | if ($state === 'solved' || ($model->addingAllowed && is_numeric($solved))) {
81 | $solved = '$solved - view ";
82 | }
83 | $isc1 = isset($model->c1ids[$task->id]) ? 'class="strong"' : '';
84 | if (isset($task->starred)) $isc1 .= ' style="background:gold"';
85 | echo "{$task->id} url}\">{$task->title} $editLink{$task->translations} ";
87 | echo "$authorLink ";
88 | echo "$solved {$task->cost} $statusCell
92 |
93 |
--------------------------------------------------------------------------------
/pages/task/solution.php:
--------------------------------------------------------------------------------
1 |
36 |
37 | solution->error) : ?>
38 |
39 | highlight != 'other'): ?>
40 |
41 |
42 |
43 |
solution->code ?>
44 |
45 |
Length: solution->code) ?>
46 |
47 |
48 | auth->admin()) : ?>
49 |
54 |
55 |
56 |
57 |
Error: solution->error ?>
58 |
59 |
--------------------------------------------------------------------------------
/pages/task/solvers.php:
--------------------------------------------------------------------------------
1 |
8 |
9 |
10 |
25 |
26 |
Notes on the problem
27 | notes) ? $model->notes : 'Sorry, no editorial on this task is yet prepared...' ?>
28 |
29 |
30 |
31 |
parameters 'withblanks' and 'limit' may be useful
32 |
33 |
--------------------------------------------------------------------------------
/pages/task/success.php:
--------------------------------------------------------------------------------
1 |
6 |
7 |
Your answer is Correct !
8 |
9 |
10 |
11 | You now are allowed to see
12 |
other's solutions
13 | of this task!
14 | You received
gainedPoints ?> points of Blessing!
15 | Your
Enlightenment is now
16 |
userPoints ?>
17 |
(these values are approximate - exact ones will be known in few minutes -
18 | after total recalculation)
19 | nextTasks) > 0) : ?>
20 |
Suggested next tasks:
21 | nextTasks as $next) :
22 | $nextUrl = url('task_view', 'param', $next->url);
23 | echo "
{$next->title} ";
25 | endforeach;
26 | endif; ?>
27 |
28 | challengeResult)) : ?>
29 |
30 |
Challenge result: view full stats
37 |
38 |
39 |
40 |
41 |
42 |
43 | this pane is under development
44 |
45 |
46 |
47 |
48 | Back to task list
49 |
50 |
51 |
Visit Our Forum if you have any questions or
52 | suggestions about problem statement or suspect the checker is incorrect.
53 |
54 |
55 |
56 |
Author's notes on this problem
57 |
58 |
notes) ? $model->notes : 'Sorry, no notes were added yet for this task...' ?>
59 |
60 |
61 |
--------------------------------------------------------------------------------
/pages/task/tag/edit.php:
--------------------------------------------------------------------------------
1 |
2 |
3 |
Available Tags
4 |
5 |
6 | tags as $tag) : ?>
7 | title ?>
8 |
9 |
10 |
11 |
12 |
16 |
new name to add or existing to remove
17 |
18 |
19 |
20 |
21 | task)) : ?>
22 |
task->title ?>
23 |
24 |
25 | taskTags as $tag) : ?>
26 |
29 |
30 |
34 |
new tag to add or existing to remove
35 |
36 |
37 |
No task chosen :(
38 |
39 |
40 |
41 |
--------------------------------------------------------------------------------
/pages/task/tag/list.php:
--------------------------------------------------------------------------------
1 |
Tags for Problems
2 |
3 |
15 |
16 |
19 |
--------------------------------------------------------------------------------
/pages/task/view.php:
--------------------------------------------------------------------------------
1 |
60 |
61 |
62 | task->locales)) : ?>
63 | task->locales['en'])) : ?>
64 | Also available in:
65 | task->locales as $locale => $locName) : ?>
66 |
67 |
68 |
69 | Back to
English version
70 |
71 |
72 |
No translations... yet
73 |
74 | auth->user()) : ?>
75 |
report typos
76 |
77 |
78 |
79 |
80 | checkerCode)) : ?>
81 |
82 |
Looks like you invented this problem!
84 | Click to review the "checker" code...
85 |
Notes
86 |
checkerCode ?>
87 |
88 |
89 |
90 |
task->statement ?>
91 |
92 | auth->user()) : ?>
93 |
You need to
login to get test data and submit solution.
94 | solveUnsolved)) : ?>
95 |
96 |
97 |
You have too many unsolved tasks!
98 | According to rule 177.b you can't solve new problems until you solve
99 | some of tasks submitted unsuccessfully. Please visit your
100 |
101 | unsolved task list
102 | and try solving any of the tasks
marked red !
103 |
104 |
105 |
106 |
107 |
136 |
137 | util->fragment('taskview_badattempt') ?>
138 |
139 | util->fragment('taskview_errorsmodal') ?>
140 |
141 |
142 |
143 |
task->lastmod ?>
144 |
--------------------------------------------------------------------------------
/pages/user/ranking.php:
--------------------------------------------------------------------------------
1 |
7 |
8 |
Select
your country in
9 | auth->loggedUser()) : ?>
10 |
your settings page
11 |
12 |
your profile
13 |
14 | and raise your flag in this table by solving problems!
15 |
16 |
17 |
18 | Total Brethren and Sistren (who solved at least one problem): total ?>
19 |
20 |
21 |
22 | friends === null) : ?>
23 |
24 |
36 |
37 |
38 |
39 | page > 0) : ?>
40 | < < <
41 |
42 | < < <
43 |
44 | Page #
45 |
48 |
49 | count === count($model->rank)) : ?>
50 | > > >
51 |
52 | > > >
53 |
54 |
55 |
56 |
57 |
58 |
61 |
62 |
63 |
64 |
65 |
66 | #
67 | User
68 | Language
69 | Rank ?
70 | Enlightenment
71 |
72 | Solved
73 |
74 | myRank !== null && $model->myRank->before) :
75 | $model->curEntry = $model->myRank; ?>
76 | util->fragment('rankline') ?>
77 | ... ... ... ...
89 |
90 |
--------------------------------------------------------------------------------
/pages/user/unsolved.php:
--------------------------------------------------------------------------------
1 |
10 |
11 |
12 |
13 |
14 |
15 | #
16 | Problem
17 | Language
18 | Link
19 | Date
20 |
21 | records as $record) : ?>
22 |
23 |
24 | taskid ?>
25 | title ?> language ?>
27 | view ts ?>
29 |
30 |
31 |
32 |
33 |
34 |
--------------------------------------------------------------------------------
/pages/wiki.php:
--------------------------------------------------------------------------------
1 |
13 |
14 | text ?>
15 |
16 |
lastmod ?>
17 |
18 |
--------------------------------------------------------------------------------
/pages/wiki/edit.php:
--------------------------------------------------------------------------------
1 |
Wiki edit
2 |
3 |
19 |
20 |
--------------------------------------------------------------------------------
/pages/wiki/index.php:
--------------------------------------------------------------------------------
1 |
Contents
2 |
3 | auth->admin()) : ?>
4 | Add new article
5 |
6 |
7 |
8 | pages as $page) : ?>
9 |
10 |
11 |
12 |
13 |
--------------------------------------------------------------------------------
/sqlexec.php:
--------------------------------------------------------------------------------
1 | &1", $output, $code);
15 | unlink($tmpname);
16 | echo 'Result: ' . ($code === 0 ? 'OK' : "Fail ($code)") . "\n";
17 | $output = trim(implode("\n", $output));
18 | echo $output ? $output : '(no output)';
19 | return;
20 | }
21 |
22 | ?>
23 |
24 |
25 | MySQL (MariaDB) command executor
26 |
27 | Enter some commands, separated by semi-colon. Don't forget start with USE "databasename"
30 | unless you create new database.
31 |  ?>)
15 |
16 |
17 |  ?>)
18 |
19 |
20 |  ?>)
21 |
22 |
23 |
24 |  ?>)
25 |
26 |
27 |
28 |
29 |
32 |
33 |
34 |
--------------------------------------------------------------------------------
/fragments/metas.html:
--------------------------------------------------------------------------------
1 |
2 |
3 | elems->get('robots', 'index,follow'); ?>
4 |
5 | elems->conf->canonical) && strpos($metaRobots, 'noindex') === false): ?>
6 |
7 |
8 |
--------------------------------------------------------------------------------
/fragments/rankline.html:
--------------------------------------------------------------------------------
1 | curEntry ?>
2 |  . '.gif') ?> "<?= $entry->countryTitle ?>")
18 |  ?>)
13 |  ?>)
16 |