}
}
private Laravel4CustomizerPanel getPanel() {
if (component == null) {
component = new Laravel4CustomizerPanel(phpModule.getSourceDirectory());
component.setSupportEnabled(originalEnabled);
component.setAppDirectory(originalAppDirectory);
}
return component;