old_contents: from .php_executor import PHPExecutor
  from dmoj.judgeenv import env
  
  
  class Executor(PHPExecutor):
      name = 'PHP7'
      command = env['runtime'].get('php7')
      fs = ['.*\.so', '/etc/localtime$', '.*\.ini$']
  
  
  initialize = Executor.initialize
  
new_contents: from .php_executor import PHPExecutor
  from dmoj.judgeenv import env
  
  
  class Executor(PHPExecutor):
      name = 'PHP7'
      command = env['runtime'].get('php7')
      fs = ['.*\.so', '/etc/localtime$', '.*\.ini$', '/dev/urandom$']
  
  
  initialize = Executor.initialize
  
subject: Allow /dev/urandom for PHP 7