diff options
| author | Dieter Adriaenssens <ruleant@users.sourceforge.net> | 2012-04-11 18:18:14 +0400 |
|---|---|---|
| committer | Dieter Adriaenssens <ruleant@users.sourceforge.net> | 2012-04-11 18:18:53 +0400 |
| commit | 3a3da2987e9ea0a1a9cd858d014e08dab52c9712 (patch) | |
| tree | 724f4ab97bcaa8e19d92ccce066b7ceee22d9594 /js/server_plugins.js | |
| parent | 359a36ee6ad3da2bc603391102d9932ebe3b8c4c (diff) | |
add vim directive for indenting with spaces
Diffstat (limited to 'js/server_plugins.js')
| -rw-r--r-- | js/server_plugins.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/js/server_plugins.js b/js/server_plugins.js index 9d20edbefc..56f5f8f7db 100644 --- a/js/server_plugins.js +++ b/js/server_plugins.js @@ -1,3 +1,4 @@ +/* vim: set expandtab sw=4 ts=4 sts=4: */ /** * Functions used in server plugins pages */ @@ -27,4 +28,4 @@ $(function() { }); $tables.find('thead th') .append('<img class="sortableIcon" src="' + pma_theme_image + 'cleardot.gif" alt="">'); -});
\ No newline at end of file +}); |