$loaded = $xmldb_file->loadXMLStructure();
if ($loaded && $xmldb_file->isLoaded()) {
$dbdir->xml_loaded = true;
+ if (!empty($dbdir->filemtime)) {
+ $dbdir->filemtime = filemtime($dbdir->path . '/install.xml');
+ }
}
$dbdir->xml_file = $xmldb_file;
} else {
!empty($dbdir->xml_loaded) &&
!empty($dbdir->xml_changed)) {
$b .= '<a href="index.php?action=save_xml_file&dir=' . urlencode(str_replace($CFG->dirroot, '', $key)) . '&time=' . time() . '&postaction=main_view#lastused">[' . $this->str['save'] . ']</a>';
+ /// Check if the file has been manually edited while being modified in the editor
+ if ($dbdir->filemtime != filemtime($key . '/install.xml')) {
+ /// File manually modified. Add to errors.
+ if ($structure =& $dbdir->xml_file->getStructure()) {
+ $structure->errormsg = 'Warning: File locally modified while using the XMLDB Editor. Saving will overwrite local changes';
+ }
+ }
} else {
$b .= '[' . $this->str['save'] . ']';
}