Fix namespace issues: add global namespace indicator to core Moodle classes

Co-authored-by: ndrwnaguib <[email protected]>

Author: Copilot

classes/judge/base.php

@@ -177,12 +177,12 @@ protected function create_temp_files() {
         $dstfiles = array();
 
         $fs = get_file_storage();
-        $files = $fs->get_area_files(context_system::instance()->id, 'local_onlinejudge', 'tasks', $this->task->id, 'sortorder', false);
+        $files = $fs->get_area_files(\context_system::instance()->id, 'local_onlinejudge', 'tasks', $this->task->id, 'sortorder', false);
         foreach ($files as $file) {
             $path = onlinejudge_get_temp_dir() . $file->get_filepath();
             $fullpath = $path . $file->get_filename();
             if (!check_dir_exists($path)) {
-                throw new moodle_exception('errorcreatingdirectory', '', '', $path);
+                throw new \moodle_exception('errorcreatingdirectory', '', '', $path);
             }
             $file->copy_content_to($fullpath);
             $dstfiles[] = $fullpath;

classes/judge/sandbox.php

@@ -135,7 +135,7 @@ protected function last_task_is_simlar() {
         $newcontenthashs = array();
 
         $fs = get_file_storage();
-        $files = $fs->get_area_files(context_system::instance()->id, 'local_onlinejudge', 'tasks', $this->task->id, 'sortorder', false);
+        $files = $fs->get_area_files(\context_system::instance()->id, 'local_onlinejudge', 'tasks', $this->task->id, 'sortorder', false);
         foreach ($files as $file) {
             $newcontenthashs[] = $file->get_contenthash();
         }

classes/judge/sphere_engine.php

@@ -115,7 +115,7 @@ function judge() {
 
         // Get source code
         $fs = get_file_storage();
-        $files = $fs->get_area_files(context_system::instance()->id, 'local_onlinejudge', 'tasks', $task->id, 'sortorder, timemodified', false);
+        $files = $fs->get_area_files(\context_system::instance()->id, 'local_onlinejudge', 'tasks', $task->id, 'sortorder, timemodified', false);
         $source = '';
         foreach ($files as $file) {
             $source = $file->get_content();