devel_themer_requirements($phase)sites/all/modules/devel/devel_themer.install, line 2
<?php
function devel_themer_requirements($phase) {
// Ensure translations don't break at install time
$t = get_t();
if ($phase == 'install' || $phase == 'runtime') {
// we need the Optimizer check function
drupal_load('module', 'devel');
if (!devel_is_compatible_optimizer()) {
$requirements['optimizer'] = array(
'title' => $t('Zend Optimizer'),
'description' => $t('You must disable or upgrade the php Zend Optimizer extension in order to enable this feature. The minimum required version is 3.2.8. Earlier versions of Zend Optimizer are <a href="!url">horribly buggy and segfault your Apache.', array('!url' => url('http://drupal.org/node/126098'))),
'severity' => REQUIREMENT_ERROR,
);
}
}
return isset($requirements) ? $requirements : array();
}
?>