mirror of
https://github.com/php/web-doc-editor.git
synced 2026-03-24 17:22:08 +01:00
f06fee3640
This patch adds some missing newlines and trims multiple final newlines into a single newline. According to POSIX, a line is a sequence of zero or more non-' <newline>' characters plus a terminating '<newline>' character. [1] Files should normally have at least one final newline character. C89 [2] and later standards [3] mention a final newline: "A source file that is not empty shall end in a new-line character, which shall not be immediately preceded by a backslash character." Although it is not mandatory for all files to have a final newline fixed, a more consistent and homogeneous approach brings less of commit differences issues and a better development experience in certain text editors and IDEs. [1] http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap03.html#tag_03_206 [2] https://port70.net/~nsz/c/c89/c89-draft.html#2.1.1.2 [3] https://port70.net/~nsz/c/c99/n1256.html#5.1.1.2
44 lines
1.2 KiB
JavaScript
44 lines
1.2 KiB
JavaScript
Ext.namespace('ui','ui.task');
|
|
|
|
// config - { patchID }
|
|
ui.task.DeletePatchTask = function(config)
|
|
{
|
|
Ext.apply(this, config);
|
|
|
|
Ext.getBody().mask(
|
|
'<img src="themes/img/loading.gif" style="vertical-align: middle;" /> ' +
|
|
_('Please, wait...')
|
|
);
|
|
|
|
XHR({
|
|
scope : this,
|
|
params : {
|
|
task : 'deletePatch',
|
|
patchID : this.patchID
|
|
},
|
|
success : function()
|
|
{
|
|
Ext.getBody().unmask();
|
|
|
|
// We remove the patch from Patches for review module
|
|
ui.cmp.PatchesTreeGrid.getInstance().deletePatch(this.patchID);
|
|
|
|
// Notify
|
|
PhDOE.notify('info', _('Patch deleted'), _('The patch have been deleted !'));
|
|
|
|
},
|
|
failure : function(r)
|
|
{
|
|
var o = Ext.util.JSON.decode(r.responseText);
|
|
|
|
// Remove wait msg
|
|
Ext.getBody().unmask();
|
|
if( o.err ) {
|
|
PhDOE.winForbidden(o.err);
|
|
} else {
|
|
PhDOE.winForbidden();
|
|
}
|
|
}
|
|
});
|
|
};
|