<?php
function run_0013() {
  // Ugly but haven't found a better way
  global $setting, $config, $user, $mysqli;