diff options
author | ArthurHoaro <arthur@hoa.ro> | 2017-03-27 19:15:48 +0200 |
---|---|---|
committer | ArthurHoaro <arthur@hoa.ro> | 2017-03-27 19:17:49 +0200 |
commit | 0040058da671bdb103dbd4c402290f5f8f51080b (patch) | |
tree | c5d21721e24a6a020310d3f538863ca71c09cc8b /application/PluginManager.php | |
parent | b320c860f5c794c57c08ee2a65c9b73768aac23c (diff) | |
download | Shaarli-0040058da671bdb103dbd4c402290f5f8f51080b.tar.gz Shaarli-0040058da671bdb103dbd4c402290f5f8f51080b.tar.zst Shaarli-0040058da671bdb103dbd4c402290f5f8f51080b.zip |
Theme: JS - Fix a bug preventing edit margin suppression to work
Explanation: an ID with a leading digit isn't a valid CSS selector
Diffstat (limited to 'application/PluginManager.php')
0 files changed, 0 insertions, 0 deletions