Commit Graph

20 Commits (5aa05c90e1b979a2dd8985c10a541243e9415c39)

Author SHA1 Message Date
Andrew Dolgov e4107ac952 wip: initial for config object 4 years ago
Andrew Dolgov 545bcc3e4b bookmarklets: cleanup some more markup 4 years ago
Andrew Dolgov fc0ebf0891 move bookmarklet-related methods out of public.php into the plugin 4 years ago
Andrew Dolgov a2c75257f1 bookmarklets: cleanup 4 years ago
Andrew Dolgov bd3c38de84 move bookmarklet-related subscribe_to_feed_url to bookmarklet plugin 4 years ago
Andrew Dolgov c1ad7acfb9 bookmarklet: encode URL properly so special characters won't get lost 4 years ago
Andrew Dolgov cee76f4d49 bookmarklets: add more info link 6 years ago
Andrew Dolgov 4e253add8c UI: add some more info links to relevant wiki pages; minor layout updates 6 years ago
Andrew Dolgov b96beeeda7 bookmarklets: show pref link-buttons properly 6 years ago
Andrew Dolgov 814e49f8f7 add icons to accordion panels in preferences
fix typo in pref-prefs closing panel tag
6 years ago
Andrew Dolgov 31e79317b3 normalize various font sizes and families between prefs & main UI
change some dialogs layout a bit to maybe become more readable
6 years ago
Andrew Dolgov 31f7966567 use button-style links for bookmarklets 7 years ago
Andrew Dolgov b2d42e960b replace some usages of SELF_URL_PATH with get_self_url_prefix() 8 years ago
Andrew Dolgov c114a2596f move add_feed_url() to pref_feeds 8 years ago
Andrew Dolgov 21ce7d9ec0 update phpmd ruleset to use (subset) of cleancode
fix various minor issues reported by static analysis
remove redundant php closing tag from several more files
8 years ago
Andrew Dolgov 73dfda1da6 various minor style updates, add danger buttons 9 years ago
Andrew Dolgov 11334fdf6c make appearance of some preference panes more similar 12 years ago
Andrew Dolgov 106a3de91c plugins: bump API version 12 years ago
Andrew Dolgov 6322ac79a0 remove $link 12 years ago
Andrew Dolgov 2ec1e00e2d add bookmarklets plugin 12 years ago