diff -r fcf75e232c5b -r 0ff3ba646492 web/drupal/modules/php/php.install --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/web/drupal/modules/php/php.install Fri Aug 21 16:26:26 2009 +0000 @@ -0,0 +1,29 @@ + l('PHP code', 'admin/settings/filters/'. $format)))); + } +} + +/** + * Implementation of hook_disable(). + */ +function php_disable() { + drupal_set_message(t('The PHP module has been disabled. Please note that any existing content that was using the PHP filter will now be visible in plain text. This might pose a security risk by exposing sensitive information, if any, used in the PHP code.')); +}