mirror of
https://github.com/php/web-doc-editor.git
synced 2026-03-24 09:12:07 +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
52 lines
2.1 KiB
JavaScript
52 lines
2.1 KiB
JavaScript
Ext.namespace('ui','ui.cmp');
|
|
|
|
ui.cmp.CheckBuildPrompt = Ext.extend(Ext.Window,
|
|
{
|
|
title : _('Check build'),
|
|
iconCls : 'iconCheckBuild',
|
|
layout : 'form',
|
|
width : 350,
|
|
height : 200,
|
|
resizable : false,
|
|
modal : true,
|
|
bodyStyle : 'padding:5px 5px 0',
|
|
labelAlign : 'top',
|
|
buttons : [{
|
|
id : 'win-check-build-btn-submit',
|
|
text : _('Go !'),
|
|
handler : function()
|
|
{
|
|
new ui.task.CheckBuildTask();
|
|
this.ownerCt.ownerCt.close();
|
|
}
|
|
}],
|
|
initComponent : function()
|
|
{
|
|
Ext.apply(this,
|
|
{
|
|
items : [{
|
|
xtype : 'panel',
|
|
modal : false,
|
|
baseCls : 'x-plain',
|
|
bodyStyle : 'padding:5px 5px 0',
|
|
html : _('You\'re about to check the build via this command:') +
|
|
'<br/><br/>/usr/bin/php configure.php --with-lang=' + PhDOE.user.lang + '<span id="option-xml-details-span" style="color: red; visibility: hidden;"> --enable-xml-details</span><br/><div id="option-xml-details-div" style="text-align: center; color: red; visibility: hidden;">'+_('<b>WARNING !</b><br/> This option use a lot of server ressource. If you don\'t know what are the consequence, please, don\'t use it.')+'</div>'
|
|
}, {
|
|
xtype : 'checkbox',
|
|
id : 'option-xml-details',
|
|
name : 'option-xml-details',
|
|
checked : false,
|
|
hideLabel : true,
|
|
boxLabel : _('Enable detailed XML error messages'),
|
|
listeners : {
|
|
check: function(c, state) {
|
|
Ext.get('option-xml-details-span').dom.style.visibility = (state) ? 'visible' : 'hidden';
|
|
Ext.get('option-xml-details-div').dom.style.visibility = (state) ? 'visible' : 'hidden';
|
|
}
|
|
}
|
|
}]
|
|
});
|
|
ui.cmp.CheckBuildPrompt.superclass.initComponent.call(this);
|
|
}
|
|
});
|