mirror/php-e107
1
0
Fork 0
mirror of https://github.com/e107inc/e107.git synced 2025-08-11 17:14:42 +02:00
Code Issues Releases Wiki Activity

More timing markers added.

Browse Source
This commit is contained in:
Cameron
2017-01-22 14:19:47 -08:00
parent 08c77af536
commit e3bfe28f0c
2 changed files with 10 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
e107_handlers/plugin_class.php
View File

@@ -281,7 +281,7 @@ class e107plugin
{
$data = $xml->loadXMLfile($fullPath, true);
if(!isset($this->core_plugins[$path])) // check non-core plugins for sql file changes.
if(!isset($this->core_plugins[$path])) // check non-core plugins for sql file changes.
{
$dbv->errors = array();
$dbv->compare($path);