aboutsummaryrefslogtreecommitdiffhomepage
path: root/application/PluginManager.php
diff options
context:
space:
mode:
authorArthurHoaro <arthur@hoa.ro>2017-03-27 19:15:48 +0200
committerArthurHoaro <arthur@hoa.ro>2017-03-27 19:17:49 +0200
commit0040058da671bdb103dbd4c402290f5f8f51080b (patch)
treec5d21721e24a6a020310d3f538863ca71c09cc8b /application/PluginManager.php
parentb320c860f5c794c57c08ee2a65c9b73768aac23c (diff)
downloadShaarli-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