Using dot notation and wildcard:
Example #1
$posts = collect([
<?php | |
/** | |
* PHP array version of the mapping of Internet media types to unique file extension(s) | |
* | |
* The original file is from: | |
* https://svn.apache.org/repos/asf/httpd/httpd/trunk/docs/conf/mime.types | |
* | |
* This file maps Internet media types to unique file extension(s). | |
* Although created for httpd, this file is used by many software systems |
<!DOCTYPE html> | |
<html> | |
<head> | |
<meta charset="utf-8"> | |
<meta name="viewport" content="width=device-width"> | |
<title>CSS-Only Radial Progress Bars/title> | |
<style> | |
.progress { | |
width: 100px; |
<!DOCTYPE html> | |
<html> | |
<head> | |
<meta charset="utf-8"> | |
<meta name="viewport" content="width=device-width"> | |
<title>JS Bin</title> | |
<style> | |
.test-1 li::marker { | |
color: red; | |
} |
<!DOCTYPE html> | |
<html> | |
<head> | |
<meta charset="utf-8"> | |
<meta name="viewport" content="width=device-width"> | |
<title>CSS Pseudo Classes :is and :where</title> | |
<style> | |
/* OLD CSS | |
header p:hover, |
If you accidentally delete your remote repository on Github, which is really stupid, but it happened to me once, despite the requested confirmations... you will have errors when trying to push from the Github Desktop App!
Create a new repository on Github from your account with the same name as your previous repository. IMPORTANT: Make sure to not initialize the repository with a README
, .gitignore
, or license
since you already have files locally that you want to push.
In the terminal, navigate to your local repository's directory:
git remote set-url origin https://github.com/your-username/your-repository.git