src/PlaygroundGame/Controller/Admin/MissionController.php 1 location
|
@@ 99-104 (lines=6) @@
|
| 96 |
|
|
| 97 |
|
$gameOptions = $this->getAdminGameService()->getOptions(); |
| 98 |
|
$gameStylesheet = $gameOptions->getMediaPath() . '/' . 'stylesheet_'. $game->getId(). '.css'; |
| 99 |
|
if (is_file($gameStylesheet)) { |
| 100 |
|
$values = $form->get('stylesheet')->getValueOptions(); |
| 101 |
|
$values[$gameStylesheet] = 'Style personnalisé de ce jeu'; |
| 102 |
|
|
| 103 |
|
$form->get('stylesheet')->setAttribute('options', $values); |
| 104 |
|
} |
| 105 |
|
|
| 106 |
|
$form->bind($game); |
| 107 |
|
|
src/PlaygroundGame/Controller/Admin/GameController.php 1 location
|
@@ 119-124 (lines=6) @@
|
| 116 |
|
|
| 117 |
|
$gameOptions = $this->getAdminGameService()->getOptions(); |
| 118 |
|
$gameStylesheet = $gameOptions->getMediaPath() . '/' . 'stylesheet_'. $this->game->getId(). '.css'; |
| 119 |
|
if (is_file($gameStylesheet)) { |
| 120 |
|
$values = $form->get('stylesheet')->getValueOptions(); |
| 121 |
|
$values[$gameStylesheet] = 'Style personnalisé de ce jeu'; |
| 122 |
|
|
| 123 |
|
$form->get('stylesheet')->setAttribute('options', $values); |
| 124 |
|
} |
| 125 |
|
|
| 126 |
|
$form->bind($this->game); |
| 127 |
|
|